Area Data VI

NOTE: You can download the source files for this book from here. The source files are in the format of R Notebooks. Notebooks are pretty neat, because the allow you execute code within the notebook, so that you can work interactively with the notes.

In the previous chapter, you learned about how to use local spatial statistics for exploratory spatial data analysis.

If you wish to work interactively with this chapter you will need the following:

NOTE: This is an R Markdown Notebook. When you execute code within the notebook, the results appear beneath the code.

In previous practice/session, you learned about how to use local spatial statistics for exploratory spatial data analysis.

For this practice you will need the following:

The shape file includes spatial information for Traffic Analysis Zones (TAZ) in the Hamilton Census Metropolitan Area (as polygons).

Learning Objectives

In this practice, you will:

  1. Revisit the notion of autocorrelation as a model diagnostic.
  2. Remedial action.
  3. Flexible functional forms and models with spatially-varying coefficients. 3.1 Trend surface analysis. 3.2 The expansion method. 3.3 Geographically weighted regression (GWR).
  4. Spatial error model (SEM).

Suggested Readings

  • Bailey TC and Gatrell AC (1995) Interactive Spatial Data Analysis, Chapter 7. Longman: Essex.
  • Bivand RS, Pebesma E, and Gomez-Rubio V (2008) Applied Spatial Data Analysis with R, Chapter 9. Springer: New York.
  • Brunsdon C and Comber L (2015) An Introduction to R for Spatial Analysis and Mapping, Chapter 7. Sage: Los Angeles.
  • O’Sullivan D and Unwin D (2010) Geographic Information Analysis, 2nd Edition, Chapter 7. John Wiley & Sons: New Jersey.

Preliminaries

As usual, it is good practice to clear the working space to make sure that you do not have extraneous items there when you begin your work. The command in R to clear the workspace is rm (for “remove”), followed by a list of items to be removed. To clear the workspace from all objects, do the following:

rm(list = ls())

Note that ls() lists all objects currently on the worspace.

Load the libraries you will use in this activity:

library(tidyverse)
-- Attaching packages --------------------------------------- tidyverse 1.2.1 --
v ggplot2 3.1.0     v purrr   0.2.5
v tibble  2.0.1     v dplyr   0.7.8
v tidyr   0.8.2     v stringr 1.3.1
v readr   1.3.1     v forcats 0.3.0
-- Conflicts ------------------------------------------ tidyverse_conflicts() --
x dplyr::filter() masks stats::filter()
x dplyr::lag()    masks stats::lag()
library(sf)
Linking to GEOS 3.6.1, GDAL 2.2.3, PROJ 4.9.3
#library(broom)
library(spdep)
Loading required package: sp
Loading required package: Matrix

Attaching package: 㤼㸱Matrix㤼㸲

The following object is masked from 㤼㸱package:tidyr㤼㸲:

    expand

Loading required package: spData
To access larger datasets in this package, install the spDataLarge package with:
`install.packages('spDataLarge', repos='https://nowosad.github.io/drat/',
type='source')`
#library(reshape2)
library(plotly)

Attaching package: 㤼㸱plotly㤼㸲

The following object is masked from 㤼㸱package:ggplot2㤼㸲:

    last_plot

The following object is masked from 㤼㸱package:stats㤼㸲:

    filter

The following object is masked from 㤼㸱package:graphics㤼㸲:

    layout
library(knitr)
library(kableExtra)
library(spgwr)
NOTE: This package does not constitute approval of GWR
as a method of spatial analysis; see example(gwr)
library(geog4ga3)

Begin by loading the data needed for this chapter:

data("HamiltonDAs")

The file is of the Dissemination Areas in the Hamilton CMA, in Canada.

Residual spatial autocorrelation revisited

Previously you learned about the use of Moran’s I coefficient as a diagnostic in regression analysis.

Residual spatial autocorrelation is a symptom of a model that has not been properly specified. There are two reasons for this that are of interest:

  1. The functional form is incorrect.
  2. The model failed to include relevant variables.

Lets explore these in turn.

Incorrect Functional Form

An incorrect functional form can lead to residual spatial autocorrelation [@McMillen2003spatial]. To illustrate this, we will simulate a spatial process as follows: \[ z = f(x,y) = exp(\beta_0)exp(\beta_1x)exp(\beta_2y) + \epsilon_i \]

Clearly, this is a non-linear spatial process.

The simulation is as follows, with a random term with a mean of zero and standard deviation of 1. The random terms are independent by design:

set.seed(10)
b0 = 1
b1 = 2
b2 = 4
uv_coords <- st_coordinates(st_centroid(HamiltonDAs))
st_centroid assumes attributes are constant over geometries of x
HamiltonDAs <- mutate(HamiltonDAs,
                            u = (uv_coords[,1] - min(uv_coords[,1]))/100000,
                            v = (uv_coords[,2] - min(uv_coords[,2]))/100000,
                            z = exp(b0) * exp(b1 * u) * exp(b2 * v) +
                              rnorm(n = 297, mean = 0, sd = 1))

This is the summary of the simulated variables:

summary(HamiltonDAs[, 8:10])
       u                v                z                   geometry  
 Min.   :0.0000   Min.   :0.0000   Min.   : 3.919   MULTIPOLYGON :297  
 1st Qu.:0.2284   1st Qu.:0.1354   1st Qu.: 7.842   epsg:26917   :  0  
 Median :0.2695   Median :0.1712   Median : 9.370   +proj=utm ...:  0  
 Mean   :0.2724   Mean   :0.1863   Mean   :10.370                      
 3rd Qu.:0.3127   3rd Qu.:0.2195   3rd Qu.:11.710                      
 Max.   :0.5312   Max.   :0.4079   Max.   :22.809                      

Suppose that we estimate the model as a linear regression that does not correctly capture the non-linearity. The model would be as follows:

model1 <- lm(formula = z ~ u + v, data = HamiltonDAs) 
summary(model1)

Call:
lm(formula = z ~ u + v, data = HamiltonDAs)

Residuals:
    Min      1Q  Median      3Q     Max 
-2.7267 -0.8591  0.0028  0.8250  3.5826 

Coefficients:
            Estimate Std. Error t value Pr(>|t|)    
(Intercept)  -3.6765     0.3255  -11.29   <2e-16 ***
u            20.9207     0.8586   24.37   <2e-16 ***
v            44.8033     0.9305   48.15   <2e-16 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Residual standard error: 1.231 on 294 degrees of freedom
Multiple R-squared:  0.8965,    Adjusted R-squared:  0.8958 
F-statistic:  1273 on 2 and 294 DF,  p-value: < 2.2e-16

At first glance, the model gives the impression of a very good fit: all coefficients are significant, and the coefficient of multiple determination \(R^2\) is moderately high.

At this point, it is important to examine the residuals to verify that they are independent. Lets add the residuals of this model to your dataframes:

HamiltonDAs$model1.e <- model1$residuals

A map of the residuals can help examine their spatial pattern:

  plot_ly(HamiltonDAs) %>%
    add_sf(color = ~(model1.e > 0), colors = c("red", "dodgerblue4"))

To test the residuals for spatial autocorrelation we first create a set of spatial weights:

HamiltonDAs.w <- nb2listw(poly2nb(as(HamiltonDAs, "Spatial")))

With this, we can now calculate Moran’s \(I\):

moran.test(HamiltonDAs$model1.e, HamiltonDAs.w)

    Moran I test under randomisation

data:  HamiltonDAs$model1.e  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = 10.373, p-value < 2.2e-16
alternative hypothesis: greater
sample estimates:
Moran I statistic       Expectation          Variance 
      0.350300067      -0.003378378       0.001162633 

The test does not allow us to reject the null hypothesis of spatial independence. Thus, despite the apparent goodness of fit of the model, there is reason to believe something is missing.

Lets now use a variable transformation to approximate the underlying non-linear process:

model2 <- lm(formula = log(z) ~ u + v, data = HamiltonDAs)
summary(model2)

Call:
lm(formula = log(z) ~ u + v, data = HamiltonDAs)

Residuals:
     Min       1Q   Median       3Q      Max 
-0.32033 -0.06456  0.00671  0.07647  0.31233 

Coefficients:
            Estimate Std. Error t value Pr(>|t|)    
(Intercept)  0.96853    0.02864   33.81   <2e-16 ***
u            2.08863    0.07554   27.65   <2e-16 ***
v            3.97537    0.08187   48.56   <2e-16 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Residual standard error: 0.1083 on 294 degrees of freedom
Multiple R-squared:  0.9016,    Adjusted R-squared:  0.901 
F-statistic:  1348 on 2 and 294 DF,  p-value: < 2.2e-16

This model does not necessarily have a better goodness of fit. However, when we test for spatial autocorrelation:

HamiltonDAs$model2.e <- model2$residuals
moran.test(HamiltonDAs$model2.e, HamiltonDAs.w)

    Moran I test under randomisation

data:  HamiltonDAs$model2.e  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = 0.59638, p-value = 0.2755
alternative hypothesis: greater
sample estimates:
Moran I statistic       Expectation          Variance 
      0.016946454      -0.003378378       0.001161482 

Once that the correct functional form has been specified, the model is better at capturing the underlying process (check how the coefficients approximate to a high degree the true coefficients of the model). In addition, we can conclude that the residuals are independent, and therefore are now also spatially random: meaning the there is nothing left of the process but white noise.

Omitted Variables

Using the same example, suppose now that the functional form of the model is correctly specified, but a relevant variable is missing:

model3 <- lm(formula = log(z) ~ u, data = HamiltonDAs)
summary(model3)

Call:
lm(formula = log(z) ~ u, data = HamiltonDAs)

Residuals:
     Min       1Q   Median       3Q      Max 
-0.78563 -0.19306 -0.05461  0.14453  0.91857 

Coefficients:
            Estimate Std. Error t value Pr(>|t|)    
(Intercept)  1.90764    0.06334  30.118  < 2e-16 ***
u            1.36012    0.22197   6.127 2.85e-09 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Residual standard error: 0.3246 on 295 degrees of freedom
Multiple R-squared:  0.1129,    Adjusted R-squared:  0.1099 
F-statistic: 37.54 on 1 and 295 DF,  p-value: 2.853e-09

As before, lets append the residuals to the dataframes:

HamiltonDAs$model3.e <- model3$residuals

We can plot a map of the residuals to examine their spatial pattern:

  plot_ly(HamiltonDAs) %>%
    add_sf(color = ~(model3.e > 0), colors = c("red", "dodgerblue4"))

In this case, the visual inspection makes it clear that there is an issue with spatially autocorrelated residuals, something that a test reinforces:

moran.test(HamiltonDAs$model3.e, HamiltonDAs.w)

    Moran I test under randomisation

data:  HamiltonDAs$model3.e  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = 24.921, p-value < 2.2e-16
alternative hypothesis: greater
sample estimates:
Moran I statistic       Expectation          Variance 
      0.846098172      -0.003378378       0.001161895 

As seen above, the model with the full set of relevant variables resolves this problem.

Remedial Action

When spatial autocorrelation is detected in the residuals, further work is warranted. The preceding examples illustrate two possible solutions to the issue of residual pattern:

  1. Modifications of the model to approximate the true functional form of the process; and
  2. Inclusion of relevant variables.

Ideally, we would try to ensure that the model is properly specified. In practice, however, it is not always evident what the functional form of the model should be. The search for an appropriate functional form can be guided by theoretical considerations, empirical findings, and experimentation. With respect to inclusion of relevant variables, it is not always possible to find all the information we desire. This could be because of limited resources, or because some aspects of the process are not known and therefore we do not even know what additional information should be collected.

In these cases, it is a fact that residual spatial autocorrelation is problematic.

Fortunately, a number of approaches have been proposed in the literature that can be used for remedial action.

In the following sections we will review some of them.

Flexible Functional Forms and Models with Spatially-varying Coefficients

Some models use variable transformations to create more flexible functions, while others use adaptive estimation strategies.

Trend Surface Analysis

Trend surface analysis is a simple way to generate relatively flexible surfaces.

This approach consists of using the coordinates as covariates, and transforming them into polynomials of different orders. Seen this way, linear regression is the analog of a trend surface of first degree: \[ z = f(x,y) = \beta_0 + \beta_1u + \beta_2v \] where \(u\) and \(v\) are the coordinates.

A figure illustrates how the function above creates a regression plane. First, create a grid of coordinates for plotting:

df <- expand.grid(u = seq(from = -2, to = 2, by = 0.2), v = seq(from = -2, to = 2, by = 0.2))

Next, select some values for the coefficients (feel free to experiment with these values):

b0 <- 0.5 #0.5
b1 <- 1 #1
b2 <- 2 #2
z1 <- b0 + b1 * df$u + b2 * df$v
z1 <- matrix(z1, nrow = 21, ncol = 21)

The plot is as follows:

plot_ly(z = ~z1) %>% add_surface() %>%
  layout(scene = list(xaxis = list(ticktext = c("-2", "0", "2"), tickvals = c(0, 10, 20)), 
                      yaxis = list(ticktext = c("-2", "0", "2"), tickvals = c(0, 10, 20))
                      )
         ) %>%
  layout(scene = list (xaxis = list(title = "v"), yaxis = list(title = "u")))

A trend surface of second degree, or quadratic, would be as follows. Notice how it includes all possible quadratic terms, including the product \(xy\): \[ z = f(x,y) = \beta_0 + \beta_1u^2 + \beta_2u + \beta_3uv + \beta_4v + \beta_5v^2 \]

Use the same grid as above to create now a regression surface. Select some coefficients:

b0 <- 0.5 #0.5
b1 <- 2 #2
b2 <- 1 #1
b3 <- 1 #1
b4 <- 1.5 #1.5
b5 <- 0.5 #2.5
z2 <- b0 + b1 * df$u^2 + b2 * df$u + b3 * df$u * df$v + b4 * df$v + b5 * df$v^2
z2 <- matrix(z2, nrow = 21, ncol = 21)

And the plot is as follows:

plot_ly(z = ~z2) %>% add_surface() %>%
  layout(scene = list(xaxis = list(ticktext = c("-2", "0", "2"), tickvals = c(0, 10, 20)), 
                      yaxis = list(ticktext = c("-2", "0", "2"), tickvals = c(0, 10, 20))
                      )
         ) %>%
  layout(scene = list (xaxis = list(title = "v"), yaxis = list(title = "u")))

Higher order polynomials (i.e., cubic, quartic, etc.) are possible in principle. Something to keep in mind is that the higher the order of the polynomial, the more flexible the surface, which may lead to the following issues:

  1. Multicollinearity.

Powers of variables tend to be highly correlated with each other. See the following table of correlations for the x coordinate in the example:

u u^2 u^3 u^4
u 1.00 0.00 0.92 0.00
u^2 0.00 1.00 0.00 0.96
u^3 0.92 0.00 1.00 0.00
u^4 0.00 0.96 0.00 1.00

When two variables are highly collinear, the model has difficulties discriminating their relative contribution to the model. This is manifested by inflated standard errors that may depress the significance of the coefficients, and occasionally by sign reversals.

  1. Overfitting.

Overfitting is another possible consequence of using a trend surface that is too flexible. This happens when a model fits too well the observations used for callibration, but because of this it may fail to fit well new information.

To illustrate overfitting consider a simple example. Below we simulate a simple linear model with \(y_i = x_i + \epsilon_i\) (the random terms are drawn from the uniform distribution). We also simulate new data using the exact same process:

# Dataset for estimation
df.of1 <- data.frame(x = seq(from = 1, to = 10, by = 1))
df.of1 <- mutate(df.of1, y = x + runif(10, -1, 1))
# New data
new_data <- data.frame(x = seq(from = 1, to = 10, by = 0.5))
df.of2 <- mutate(new_data, y = x + runif(nrow(new_data), -1, 1))

This is the scatterplot of the observations in the estimation dataset:

p <- ggplot(data = df.of1, aes(x = x, y = y)) 
p + geom_point(size = 3)

A model with a first order trend (essentially linear regression), does not fit the observations perfectly, but when confronted with new data (plotted as red squares), it predicts them with reasonable accuracy:

mod.of1 <- lm(formula = y ~ x, data = df.of1)
pred1 <- predict(mod.of1, newdata = new_data) #mod.of1$fitted.values
p + geom_abline(slope = mod.of1$coefficients[2], intercept = mod.of1$coefficients[1], 
                color = "blue", size = 1) +
  geom_point(data = df.of2, aes(x = x, y = y), shape = 0, color = "red") +
  geom_segment(data = df.of2, aes(xend = x, yend = pred1)) + 
  geom_point(size = 3) +
  xlim(c(1, 10))

Compare to a polynomial of very high degree (nine in this case). The model is much more flexible, to the extent that it perfectly matches the observations in the estimation dataset. However, this flexibility has a downside. When the model is confronted with new information, its performance is less satisfactory.

mod.of2 <- lm(formula = y ~ poly(x, degree = 9, raw = TRUE), data = df.of1)
poly.fun <- predict(mod.of2, data.frame(x = seq(1, 10, 0.1)))
pred2 <- predict(mod.of2, newdata = new_data) #mod.of1$fitted.values
p + 
  #stat_function(fun = fun.pol, 
  geom_line(data = data.frame(x = seq(1, 10, 0.1), y = poly.fun), aes(x = x, y = y),
                color = "blue", size = 1) + 
  geom_point(data = df.of2, aes(x = x, y = y), shape = 0, color = "red") +
  geom_segment(data = df.of2, aes(xend = x, yend = pred2)) + 
  geom_point(size = 3) +
  xlim(c(1, 10))

We can compute the root mean square (RMS), for each of the two models. The RMS is a measure of error calculated as the square root of the mean of the squared differences between two values (in this case the prediction of the model and the new information). This statistic is a measure of the typical deviation between two sets of values. Given new information, the RMS would tell us the expected size of the error when making a prediction using a given model.

The RMS for model 1 is:

sqrt(mean((df.of2$y - pred1)^2))
[1] 0.525595

And for model 2:

sqrt(mean((df.of2$y - pred2)^2))
[1] 1.681143

You will notice how model 2, despite fitting the estimation data better than model 1, typically produces larger errors when new information becomes available.

  1. Edge effects.

Another consequence of overfitting, is that the resulting functions tend to display extreme behavior when taken outside of their estimation range, where the largest polynomial terms tend to dominate.

The plot below is the same high degree polynomial estimated above, just plotted in a slightly larger range of plus/minus one unit:

poly.fun <- predict(mod.of2, data.frame(x = seq(0, 11, 0.1)))
p + 
  geom_line(data = data.frame(x = seq(0, 11, 0.1), y = poly.fun), aes(x = x, y = y),
                color = "blue", size = 1) + 
  geom_point(data = df.of2, aes(x = x, y = y), shape = 0, color = "red") +
  geom_segment(data = df.of2, aes(xend = x, yend = pred2)) + 
  geom_point(size = 3)

Models with Spatially-varying Coefficients

Another way to generate flexible functional forms is by means of models with spatially varying coefficients. Two approaches are reviewed here.

Expansion Method

The expansion method (Casetti, 1972) is an approach to generate models with contextual effects. It follows a philosophy of specifying first a substantive model with variables of interest, and then an expanded model with contextual variables. In geographical analysis, typically the contextual variables are trend surfaces estimated using the coordinates of the observations.

To illustrate this, suppose that there is the following initial model of proportion of donors in a population, with two variables of substantive interest (say, income and education): \[ d_i = \beta_i(u_i,v_i) + \beta_1(u_i,v_i)I_i + \beta_3(u_i,v_i)Ed_i + \epsilon_i \]

Note how the coefficients are now a function of the coordinates at \(i\). Unlike previous models that had global coefficients, the coefficients in this model are allowed to adapt by location.

Unfortunately, it is not possible to estimate one coefficient per location. In this case, there are \(n\times k\) coefficients, which exceeds the size of the sample (\(n\)). It is not possible to retrieve more information from the sample than \(n\) parameters (this is called the incidental parameter problem.)

A possible solution is to specify a function for the coefficients, for instance, by specifying a trend surface for them: \[ \begin{array}{l} \beta_0(u_i, v_i) = \beta_{01} +\beta_{02}u_i + \beta_{03}v_i\\ \beta_1(u_i, v_i) = \beta_{11} +\beta_{12}u_i + \beta_{13}v_i\\ \beta_2(u_i, v_i) = \beta_{21} +\beta_{22}u_i + \beta_{23}v_i \end{array} \] By specifying the coefficients as a function of the coordinates, we allow them to vary by location.

Next, if we substitute these coefficients in the intial model, we arrive at a final expanded model: \[ d_i = \beta_{01} +\beta_{02}u_i + \beta_{03}v_i + \beta_{11}I_i +\beta_{12}u_iI_i + \beta_{13}v_iI_i + \beta_{21}Ed_i +\beta_{22}u_iEd_i + \beta_{23}v_iEd_i + \epsilon_i \]

This model has now nine coefficients, instead of \(n\times 3\), and can be estimated as usual.

It is important to note that since models generated based on the expansion method are based on the use of trend surfaces, similar caveats apply with respect to multicollinearity and overfitting.

Geographically Weighted Regression (GWR)

A different strategy to estimate models with spatially-varying coefficients is a semi-parametric approach, called geographically weighted regression (see Brunsdon et al., 1996).

Instead of selecting a functional form for the coefficients as the expansion method does, the functions are left unspecified. The spatial variation of the coefficients results from an estimation strategy that takes subsamples of the data in a systematic way.

If you recall kernel density analysis, a kernel was a way of weighting observations based on their distance from a focal point.

Geographically weighted regression applies a similar concept, with a moving window that visits a focal point and estimates a weighted least squares model at that location. The results of the regression are conventionally applied to the focal point, in such a way that not only the coefficients are localized, but also every other regression diagnostic (e.g., the coefficient of determination, the standard deviation, etc.)

A key aspect of implementing this model is the selection of the kernel bandwidth, that is, the size of the window. If the window is too large, the local models tend towards the global model (estimated using the whole sample). If the window is too small, the model tends to overfit, since in the limit each window will contain only one, or a very small number of observations.

The kernel bandwidth can be selected if we define some loss function to minimize. A conventional approach (but not the only one), is to minimize a cross-validation score of the following form: \[ CV (\delta) = \sum_{i=1}^n{\big(y_i - \hat{y}_{\neq i}(\delta)\big)^2} \] In this notation, \(\delta\) is the bandwidth, and \(\hat{y}_{\neq i}(\delta)\) is the value of \(y\) predicted by a model with a bandwidth of \(\delta\) after excluding the observation at \(i\). This is called a leave-one-out cross-validation procedure, used to prevent the estimation from shrinking the bandwidth to zero.

GWR is implemented in the package spgwr. To estimate models using this approach, the function sel.GWR, which takes as inputs a formula specifying the dependent and independent variables, a SpatialPolygonsDataFrame (or a SpatialPointsDataFrame), and the kernel function (in the example below a Gaussian kernel). Since our data come in the form of simple features, we use as(x, "Spatial") to convert to a Spatial*DataFrame object:

delta <- gwr.sel(formula = z ~ u + v, 
                 data = as(HamiltonDAs, "Spatial"), 
                 gweight = gwr.Gauss)
Bandwidth: 25621.66 CV score: 416.6583 
Bandwidth: 41415.33 CV score: 439.9313 
Bandwidth: 15860.64 CV score: 373.3401 
Bandwidth: 9827.993 CV score: 326.3479 
Bandwidth: 6099.614 CV score: 301.3906 
Bandwidth: 3795.349 CV score: 307.3175 
Bandwidth: 5784.775 CV score: 300.0247 
Bandwidth: 5317.712 CV score: 298.6785 
Bandwidth: 4736.221 CV score: 298.7873 
Bandwidth: 5058.919 CV score: 298.4138 
Bandwidth: 5051.908 CV score: 298.4127 
Bandwidth: 5032.504 CV score: 298.4117 
Bandwidth: 5034.856 CV score: 298.4117 
Bandwidth: 5034.926 CV score: 298.4117 
Bandwidth: 5034.918 CV score: 298.4117 
Bandwidth: 5034.918 CV score: 298.4117 
Bandwidth: 5034.918 CV score: 298.4117 
Bandwidth: 5034.918 CV score: 298.4117 

The function gwr estimates the suite of local models given a bandwidth:

model.gwr <- gwr(formula = z ~ u + v, 
                 bandwidth = delta, 
                 data = as(HamiltonDAs, "Spatial"),
                 gweight = gwr.Gauss)
model.gwr
Call:
gwr(formula = z ~ u + v, data = as(HamiltonDAs, "Spatial"), 
    bandwidth = delta, gweight = gwr.Gauss)
Kernel function: gwr.Gauss 
Fixed bandwidth: 5034.918 
Summary of GWR coefficient estimates at data points:
                 Min.  1st Qu.   Median  3rd Qu.     Max.  Global
X.Intercept. -16.8369  -5.8339  -2.0390  -0.6852   2.0016 -3.6765
u              6.1497  16.5814  19.1775  24.9633  36.8438 20.9207
v             22.3026  31.5813  36.8539  47.5515  84.3637 44.8033

The results are given for each location where a local regression was estimated. Lets join these results to sf dataframe for plotting:

HamiltonDAs$beta0 <- model.gwr$SDF@data$X.Intercept.
HamiltonDAs$beta1 <- model.gwr$SDF@data$u
HamiltonDAs$beta2 <- model.gwr$SDF@data$v
HamiltonDAs$localR2 <- model.gwr$SDF@data$localR2
HamiltonDAs$gwr.e <- model.gwr$SDF@data$gwr.e

The results can be mapped as shown below (try mapping beta1, beta2, localR2, or the residuals gwr.e):

ggplot(data = HamiltonDAs, aes(fill = beta0)) + 
  geom_sf(color = "white") +
  scale_fill_distiller(palette = "YlOrRd", trans = "reverse")

You can verify that the residuals are not spatially autocorrelated:

moran.test(HamiltonDAs$gwr.e, HamiltonDAs.w)

    Moran I test under randomisation

data:  HamiltonDAs$gwr.e  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = 0.016155, p-value = 0.4936
alternative hypothesis: greater
sample estimates:
Moran I statistic       Expectation          Variance 
     -0.002827161      -0.003378378       0.001164184 

Some caveats with respect to GWR.

Since estimation requires the selection of a kernel bandwidth, and a kernel bandwidth requires the estimation of many times leave-one-out regressions, GWR can be computationally quite demanding, especially for large datasets.

GWR has become a very popular method, however, there is conflicting evidence regarding its ability to retrieve a known spatial process [@Paez2011gwr]. For this reasons, interpretation of the spatially-varying coefficients must be conducted with a grain of salt, although this seems to be less of a concern with larger samples - but at the moment it is not known how large a sample is safe (and larger samples also become computationally more demanding). As well, the estimation method is known to be sensitive to unusual observations [@Farber2007gwr]. At the moment, I recommend that GWR be used for prediction only, and in this respect it seems to perform as well, or even better than alternatives approaches [@Paez2008gwr].

Spatial Error Model (SEM)

A model that can be used to take direct remedial action with respect to residual spatial autocorrelation is the spatial error model.

This model is specified as follows: \[ y_i = \beta_0 + \sum_{j=1}^k{\beta_kx_{ij}} + \epsilon_i \]

However, it is no longer assumed that the residuals \(\epsilon\) are independent, but instead display map pattern, in the shape of a moving average: \[ \epsilon_i = \lambda\sum_{i=1}^n{w_{ij}^{st}\epsilon_i} + \mu_i \]

A second set of residuals \(\mu\) are assumed to be independent.

It is possible to show that this model is no longer linear in the coefficients (but this would require a little bit of matrix algebra). For this reason, ordinary least squares is no longer an appropriate estimation algorithm, and models of this kind are instead estimated based on maximum likelihood.

Spatial error models are implemented in the package spdep.

As a remedial model, it can account for a model with a misspecified functional form. We know that the underlying process is not linear, but we specify a linear relationship between the covariates in the form of \(z = \beta_0 + \beta_1u + \beta_2v\):

model.sem1 <- errorsarlm(formula = z ~ u + v, 
                        data = HamiltonDAs, 
                        listw = HamiltonDAs.w)
summary(model.sem1)

Call:errorsarlm(formula = z ~ u + v, data = HamiltonDAs, listw = HamiltonDAs.w)

Residuals:
      Min        1Q    Median        3Q       Max 
-2.801195 -0.845856  0.054448  0.793607  2.753617 

Type: error 
Coefficients: (asymptotic standard errors) 
            Estimate Std. Error z value  Pr(>|z|)
(Intercept) -3.89916    0.63027 -6.1865 6.151e-10
u           20.99256    1.66815 12.5844 < 2.2e-16
v           45.92072    1.80719 25.4100 < 2.2e-16

Lambda: 0.5839, LR test value: 70.68, p-value: < 2.22e-16
Asymptotic standard error: 0.063578
    z-value: 9.184, p-value: < 2.22e-16
Wald statistic: 84.345, p-value: < 2.22e-16

Log likelihood: -446.2198 for error model
ML residual variance (sigma squared): 1.0996, (sigma: 1.0486)
Number of observations: 297 
Number of parameters estimated: 5 
AIC: 902.44, (AIC for lm: 971.12)

The coefficient \(\lambda\) is positive (indicative of positive autocorrelation) and high, since about 50% of the moving average of the residuals \(\epsilon\) in the neighborhood of \(i\) contribute to the value of \(\epsilon_i\).

You can verify that the residuals are spatially uncorrelated (note that the alternative is “less” because of the negative sign of Moran’s I coefficient):

moran.test(model.sem1$residuals, HamiltonDAs.w, alternative = "less")

    Moran I test under randomisation

data:  model.sem1$residuals  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = -0.99147, p-value = 0.1607
alternative hypothesis: less
sample estimates:
Moran I statistic       Expectation          Variance 
     -0.037200709      -0.003378378       0.001163727 

Now consider the case of a missing covariate:

model.sem2 <- errorsarlm(formula = log(z) ~ u, 
                        data = HamiltonDAs, 
                        listw = HamiltonDAs.w)
summary(model.sem2)

Call:errorsarlm(formula = log(z) ~ u, data = HamiltonDAs, listw = HamiltonDAs.w)

Residuals:
       Min         1Q     Median         3Q        Max 
-0.4528582 -0.0706124  0.0077446  0.0831516  0.4621741 

Type: error 
Coefficients: (asymptotic standard errors) 
            Estimate Std. Error z value  Pr(>|z|)
(Intercept)  1.75329    0.20266  8.6512 < 2.2e-16
u            1.89674    0.65840  2.8808  0.003966

Lambda: 0.92272, LR test value: 492.33, p-value: < 2.22e-16
Asymptotic standard error: 0.021523
    z-value: 42.87, p-value: < 2.22e-16
Wald statistic: 1837.9, p-value: < 2.22e-16

Log likelihood: 159.879 for error model
ML residual variance (sigma squared): 0.015466, (sigma: 0.12436)
Number of observations: 297 
Number of parameters estimated: 4 
AIC: -311.76, (AIC for lm: 178.57)

In this case, the residual pattern is particularly strong, with more than 90% of the moving average contributing to the residuals. Alas, in this case, the remedial action falls short of cleaning the residuals, and we can see that they still remain spatially correlated:

moran.test(model.sem2$residuals, HamiltonDAs.w, alternative = "less")

    Moran I test under randomisation

data:  model.sem2$residuals  
weights: HamiltonDAs.w    

Moran I statistic standard deviate = -3.3739, p-value = 0.0003705
alternative hypothesis: less
sample estimates:
Moran I statistic       Expectation          Variance 
     -0.118141071      -0.003378378       0.001156981 

This would suggest the need for alternative action (such as the search for additional covariates).

Ideally, a model should be well-specified, and remedial action should be undertaken only when other alternatives have been exhausted.

LS0tDQp0aXRsZTogIjE1IEFyZWEgRGF0YSBWSSINCm91dHB1dDogaHRtbF9ub3RlYm9vaw0KLS0tDQoNCiMgQXJlYSBEYXRhIFZJDQoNCipOT1RFKjogWW91IGNhbiBkb3dubG9hZCB0aGUgc291cmNlIGZpbGVzIGZvciB0aGlzIGJvb2sgZnJvbSBbaGVyZV0oaHR0cHM6Ly9naXRodWIuY29tL3BhZXpoYS9TcGF0aWFsLVN0YXRpc3RpY3MtQ291cnNlKS4gVGhlIHNvdXJjZSBmaWxlcyBhcmUgaW4gdGhlIGZvcm1hdCBvZiBSIE5vdGVib29rcy4gTm90ZWJvb2tzIGFyZSBwcmV0dHkgbmVhdCwgYmVjYXVzZSB0aGUgYWxsb3cgeW91IGV4ZWN1dGUgY29kZSB3aXRoaW4gdGhlIG5vdGVib29rLCBzbyB0aGF0IHlvdSBjYW4gd29yayBpbnRlcmFjdGl2ZWx5IHdpdGggdGhlIG5vdGVzLiANCg0KSW4gdGhlIHByZXZpb3VzIGNoYXB0ZXIsIHlvdSBsZWFybmVkIGFib3V0IGhvdyB0byB1c2UgbG9jYWwgc3BhdGlhbCBzdGF0aXN0aWNzIGZvciBleHBsb3JhdG9yeSBzcGF0aWFsIGRhdGEgYW5hbHlzaXMuIA0KDQpJZiB5b3Ugd2lzaCB0byB3b3JrIGludGVyYWN0aXZlbHkgd2l0aCB0aGlzIGNoYXB0ZXIgeW91IHdpbGwgbmVlZCB0aGUgZm9sbG93aW5nOg0KDQoqIEFuIFIgbWFya2Rvd24gbm90ZWJvb2sgdmVyc2lvbiBvZiB0aGlzIGRvY3VtZW50ICh0aGUgc291cmNlIGZpbGUpLg0KDQoqIEEgcGFja2FnZSBjYWxsZWQgYGdlb2c0Z2EzYC4NCg0KTk9URTogVGhpcyBpcyBhbiBbUiBNYXJrZG93bl0oaHR0cDovL3JtYXJrZG93bi5yc3R1ZGlvLmNvbSkgTm90ZWJvb2suIFdoZW4geW91IGV4ZWN1dGUgY29kZSB3aXRoaW4gdGhlIG5vdGVib29rLCB0aGUgcmVzdWx0cyBhcHBlYXIgYmVuZWF0aCB0aGUgY29kZS4gDQoNCkluIHByZXZpb3VzIHByYWN0aWNlL3Nlc3Npb24sIHlvdSBsZWFybmVkIGFib3V0IGhvdyB0byB1c2UgbG9jYWwgc3BhdGlhbCBzdGF0aXN0aWNzIGZvciBleHBsb3JhdG9yeSBzcGF0aWFsIGRhdGEgYW5hbHlzaXMuIA0KDQpGb3IgdGhpcyBwcmFjdGljZSB5b3Ugd2lsbCBuZWVkIHRoZSBmb2xsb3dpbmc6DQoNCiogVGhpcyBSIG1hcmtkb3duIG5vdGVib29rLg0KKiBBIHNoYXBlIGZpbGUgY2FsbGVkICJIYW1pbHRvbiBDTUEgdHRzMDYiDQoNClRoZSBzaGFwZSBmaWxlIGluY2x1ZGVzIHNwYXRpYWwgaW5mb3JtYXRpb24gZm9yIFRyYWZmaWMgQW5hbHlzaXMgWm9uZXMgKFRBWikgaW4gdGhlIEhhbWlsdG9uIENlbnN1cyBNZXRyb3BvbGl0YW4gQXJlYSAoYXMgcG9seWdvbnMpLg0KDQojIyBMZWFybmluZyBPYmplY3RpdmVzDQoNCkluIHRoaXMgcHJhY3RpY2UsIHlvdSB3aWxsOg0KDQoxLiBSZXZpc2l0IHRoZSBub3Rpb24gb2YgYXV0b2NvcnJlbGF0aW9uIGFzIGEgbW9kZWwgZGlhZ25vc3RpYy4NCjIuIFJlbWVkaWFsIGFjdGlvbi4NCjMuIEZsZXhpYmxlIGZ1bmN0aW9uYWwgZm9ybXMgYW5kIG1vZGVscyB3aXRoIHNwYXRpYWxseS12YXJ5aW5nIGNvZWZmaWNpZW50cy4NCiAgIDMuMSBUcmVuZCBzdXJmYWNlIGFuYWx5c2lzLg0KICAgMy4yIFRoZSBleHBhbnNpb24gbWV0aG9kLg0KICAgMy4zIEdlb2dyYXBoaWNhbGx5IHdlaWdodGVkIHJlZ3Jlc3Npb24gKEdXUikuDQo0LiBTcGF0aWFsIGVycm9yIG1vZGVsIChTRU0pLg0KDQojIyBTdWdnZXN0ZWQgUmVhZGluZ3MNCg0KLSBCYWlsZXkgVEMgYW5kIEdhdHJlbGwgQUMgKDE5OTUpIEludGVyYWN0aXZlIFNwYXRpYWwgRGF0YSBBbmFseXNpcywgQ2hhcHRlciA3LiBMb25nbWFuOiBFc3NleC4NCi0gQml2YW5kIFJTLCBQZWJlc21hIEUsIGFuZCBHb21lei1SdWJpbyBWICgyMDA4KSBBcHBsaWVkIFNwYXRpYWwgRGF0YSBBbmFseXNpcyB3aXRoIFIsIENoYXB0ZXIgOS4gU3ByaW5nZXI6IE5ldyBZb3JrLg0KLSBCcnVuc2RvbiBDIGFuZCBDb21iZXIgTCAoMjAxNSkgQW4gSW50cm9kdWN0aW9uIHRvIFIgZm9yIFNwYXRpYWwgQW5hbHlzaXMgYW5kIE1hcHBpbmcsIENoYXB0ZXIgNy4gU2FnZTogTG9zIEFuZ2VsZXMuDQotIE8nU3VsbGl2YW4gRCBhbmQgVW53aW4gRCAoMjAxMCkgR2VvZ3JhcGhpYyBJbmZvcm1hdGlvbiBBbmFseXNpcywgMm5kIEVkaXRpb24sIENoYXB0ZXIgNy4gSm9obiBXaWxleSAmIFNvbnM6IE5ldyBKZXJzZXkuDQoNCiMjIFByZWxpbWluYXJpZXMNCg0KQXMgdXN1YWwsIGl0IGlzIGdvb2QgcHJhY3RpY2UgdG8gY2xlYXIgdGhlIHdvcmtpbmcgc3BhY2UgdG8gbWFrZSBzdXJlIHRoYXQgeW91IGRvIG5vdCBoYXZlIGV4dHJhbmVvdXMgaXRlbXMgdGhlcmUgd2hlbiB5b3UgYmVnaW4geW91ciB3b3JrLiBUaGUgY29tbWFuZCBpbiBSIHRvIGNsZWFyIHRoZSB3b3Jrc3BhY2UgaXMgYHJtYCAoZm9yICJyZW1vdmUiKSwgZm9sbG93ZWQgYnkgYSBsaXN0IG9mIGl0ZW1zIHRvIGJlIHJlbW92ZWQuIFRvIGNsZWFyIHRoZSB3b3Jrc3BhY2UgZnJvbSBfYWxsXyBvYmplY3RzLCBkbyB0aGUgZm9sbG93aW5nOg0KYGBge3J9DQpybShsaXN0ID0gbHMoKSkNCmBgYA0KDQpOb3RlIHRoYXQgYGxzKClgIGxpc3RzIGFsbCBvYmplY3RzIGN1cnJlbnRseSBvbiB0aGUgd29yc3BhY2UuDQoNCkxvYWQgdGhlIGxpYnJhcmllcyB5b3Ugd2lsbCB1c2UgaW4gdGhpcyBhY3Rpdml0eToNCmBgYHtyfQ0KbGlicmFyeSh0aWR5dmVyc2UpDQpsaWJyYXJ5KHNmKQ0KI2xpYnJhcnkoYnJvb20pDQpsaWJyYXJ5KHNwZGVwKQ0KI2xpYnJhcnkocmVzaGFwZTIpDQpsaWJyYXJ5KHBsb3RseSkNCmxpYnJhcnkoa25pdHIpDQpsaWJyYXJ5KGthYmxlRXh0cmEpDQpsaWJyYXJ5KHNwZ3dyKQ0KbGlicmFyeShnZW9nNGdhMykNCmBgYA0KDQpCZWdpbiBieSBsb2FkaW5nIHRoZSBkYXRhIG5lZWRlZCBmb3IgdGhpcyBjaGFwdGVyOg0KYGBge3J9DQpkYXRhKCJIYW1pbHRvbkRBcyIpDQpgYGANCg0KVGhlIGZpbGUgaXMgb2YgdGhlIERpc3NlbWluYXRpb24gQXJlYXMgaW4gdGhlIEhhbWlsdG9uIENNQSwgaW4gQ2FuYWRhLg0KDQojIyBSZXNpZHVhbCBzcGF0aWFsIGF1dG9jb3JyZWxhdGlvbiByZXZpc2l0ZWQNCg0KUHJldmlvdXNseSB5b3UgbGVhcm5lZCBhYm91dCB0aGUgdXNlIG9mIE1vcmFuJ3MgSSBjb2VmZmljaWVudCBhcyBhIGRpYWdub3N0aWMgaW4gcmVncmVzc2lvbiBhbmFseXNpcy4NCg0KUmVzaWR1YWwgc3BhdGlhbCBhdXRvY29ycmVsYXRpb24gaXMgYSBzeW1wdG9tIG9mIGEgbW9kZWwgdGhhdCBoYXMgbm90IGJlZW4gcHJvcGVybHkgc3BlY2lmaWVkLiBUaGVyZSBhcmUgdHdvIHJlYXNvbnMgZm9yIHRoaXMgdGhhdCBhcmUgb2YgaW50ZXJlc3Q6DQoNCjEpIFRoZSBmdW5jdGlvbmFsIGZvcm0gaXMgaW5jb3JyZWN0Lg0KMikgVGhlIG1vZGVsIGZhaWxlZCB0byBpbmNsdWRlIHJlbGV2YW50IHZhcmlhYmxlcy4NCg0KTGV0cyBleHBsb3JlIHRoZXNlIGluIHR1cm4uDQoNCiMjIyBJbmNvcnJlY3QgRnVuY3Rpb25hbCBGb3JtDQoNCkFuIGluY29ycmVjdCBmdW5jdGlvbmFsIGZvcm0gY2FuIGxlYWQgdG8gcmVzaWR1YWwgc3BhdGlhbCBhdXRvY29ycmVsYXRpb24gW0BNY01pbGxlbjIwMDNzcGF0aWFsXS4gVG8gaWxsdXN0cmF0ZSB0aGlzLCB3ZSB3aWxsIHNpbXVsYXRlIGEgc3BhdGlhbCBwcm9jZXNzIGFzIGZvbGxvd3M6DQokJA0KeiA9IGYoeCx5KSA9IGV4cChcYmV0YV8wKWV4cChcYmV0YV8xeClleHAoXGJldGFfMnkpICsgXGVwc2lsb25faQ0KJCQNCg0KQ2xlYXJseSwgdGhpcyBpcyBhIG5vbi1saW5lYXIgc3BhdGlhbCBwcm9jZXNzLg0KDQpUaGUgc2ltdWxhdGlvbiBpcyBhcyBmb2xsb3dzLCB3aXRoIGEgcmFuZG9tIHRlcm0gd2l0aCBhIG1lYW4gb2YgemVybyBhbmQgc3RhbmRhcmQgZGV2aWF0aW9uIG9mIDEuICoqVGhlIHJhbmRvbSB0ZXJtcyBhcmUgaW5kZXBlbmRlbnQgYnkgZGVzaWduKio6DQpgYGB7cn0NCnNldC5zZWVkKDEwKQ0KYjAgPSAxDQpiMSA9IDINCmIyID0gNA0KdXZfY29vcmRzIDwtIHN0X2Nvb3JkaW5hdGVzKHN0X2NlbnRyb2lkKEhhbWlsdG9uREFzKSkNCkhhbWlsdG9uREFzIDwtIG11dGF0ZShIYW1pbHRvbkRBcywNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB1ID0gKHV2X2Nvb3Jkc1ssMV0gLSBtaW4odXZfY29vcmRzWywxXSkpLzEwMDAwMCwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB2ID0gKHV2X2Nvb3Jkc1ssMl0gLSBtaW4odXZfY29vcmRzWywyXSkpLzEwMDAwMCwNCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB6ID0gZXhwKGIwKSAqIGV4cChiMSAqIHUpICogZXhwKGIyICogdikgKw0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcm5vcm0obiA9IDI5NywgbWVhbiA9IDAsIHNkID0gMSkpDQpgYGANCg0KVGhpcyBpcyB0aGUgc3VtbWFyeSBvZiB0aGUgc2ltdWxhdGVkIHZhcmlhYmxlczoNCmBgYHtyfQ0Kc3VtbWFyeShIYW1pbHRvbkRBc1ssIDg6MTBdKQ0KYGBgDQoNClN1cHBvc2UgdGhhdCB3ZSBlc3RpbWF0ZSB0aGUgbW9kZWwgYXMgYSBsaW5lYXIgcmVncmVzc2lvbiB0aGF0IGRvZXMgbm90IGNvcnJlY3RseSBjYXB0dXJlIHRoZSBub24tbGluZWFyaXR5LiBUaGUgbW9kZWwgd291bGQgYmUgYXMgZm9sbG93czoNCmBgYHtyfQ0KbW9kZWwxIDwtIGxtKGZvcm11bGEgPSB6IH4gdSArIHYsIGRhdGEgPSBIYW1pbHRvbkRBcykgDQpzdW1tYXJ5KG1vZGVsMSkNCmBgYA0KDQpBdCBmaXJzdCBnbGFuY2UsIHRoZSBtb2RlbCBnaXZlcyB0aGUgaW1wcmVzc2lvbiBvZiBhIHZlcnkgZ29vZCBmaXQ6IGFsbCBjb2VmZmljaWVudHMgYXJlIHNpZ25pZmljYW50LCBhbmQgdGhlIGNvZWZmaWNpZW50IG9mIG11bHRpcGxlIGRldGVybWluYXRpb24gJFJeMiQgaXMgbW9kZXJhdGVseSBoaWdoLg0KDQpBdCB0aGlzIHBvaW50LCBpdCBpcyBpbXBvcnRhbnQgdG8gZXhhbWluZSB0aGUgcmVzaWR1YWxzIHRvIHZlcmlmeSB0aGF0IHRoZXkgYXJlIGluZGVwZW5kZW50LiBMZXRzIGFkZCB0aGUgcmVzaWR1YWxzIG9mIHRoaXMgbW9kZWwgdG8geW91ciBkYXRhZnJhbWVzOg0KYGBge3J9DQpIYW1pbHRvbkRBcyRtb2RlbDEuZSA8LSBtb2RlbDEkcmVzaWR1YWxzDQpgYGANCg0KQSBtYXAgb2YgdGhlIHJlc2lkdWFscyBjYW4gaGVscCBleGFtaW5lIHRoZWlyIHNwYXRpYWwgcGF0dGVybjoNCmBgYHtyIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFfQ0KICBwbG90X2x5KEhhbWlsdG9uREFzKSAlPiUNCiAgICBhZGRfc2YoY29sb3IgPSB+KG1vZGVsMS5lID4gMCksIGNvbG9ycyA9IGMoInJlZCIsICJkb2RnZXJibHVlNCIpKQ0KYGBgDQoNClRvIHRlc3QgdGhlIHJlc2lkdWFscyBmb3Igc3BhdGlhbCBhdXRvY29ycmVsYXRpb24gd2UgZmlyc3QgY3JlYXRlIGEgc2V0IG9mIHNwYXRpYWwgd2VpZ2h0czoNCmBgYHtyfQ0KSGFtaWx0b25EQXMudyA8LSBuYjJsaXN0dyhwb2x5Mm5iKGFzKEhhbWlsdG9uREFzLCAiU3BhdGlhbCIpKSkNCmBgYA0KDQpXaXRoIHRoaXMsIHdlIGNhbiBub3cgY2FsY3VsYXRlIE1vcmFuJ3MgJEkkOg0KYGBge3J9DQptb3Jhbi50ZXN0KEhhbWlsdG9uREFzJG1vZGVsMS5lLCBIYW1pbHRvbkRBcy53KQ0KYGBgDQoNClRoZSB0ZXN0IGRvZXMgbm90IGFsbG93IHVzIHRvIHJlamVjdCB0aGUgbnVsbCBoeXBvdGhlc2lzIG9mIHNwYXRpYWwgaW5kZXBlbmRlbmNlLiBUaHVzLCBkZXNwaXRlIHRoZSBhcHBhcmVudCBnb29kbmVzcyBvZiBmaXQgb2YgdGhlIG1vZGVsLCB0aGVyZSBpcyByZWFzb24gdG8gYmVsaWV2ZSBzb21ldGhpbmcgaXMgbWlzc2luZy4NCg0KTGV0cyBub3cgdXNlIGEgdmFyaWFibGUgdHJhbnNmb3JtYXRpb24gdG8gYXBwcm94aW1hdGUgdGhlIHVuZGVybHlpbmcgbm9uLWxpbmVhciBwcm9jZXNzOg0KYGBge3J9DQptb2RlbDIgPC0gbG0oZm9ybXVsYSA9IGxvZyh6KSB+IHUgKyB2LCBkYXRhID0gSGFtaWx0b25EQXMpDQpzdW1tYXJ5KG1vZGVsMikNCmBgYA0KDQpUaGlzIG1vZGVsIGRvZXMgbm90IG5lY2Vzc2FyaWx5IGhhdmUgYSBiZXR0ZXIgZ29vZG5lc3Mgb2YgZml0LiBIb3dldmVyLCB3aGVuIHdlIHRlc3QgZm9yIHNwYXRpYWwgYXV0b2NvcnJlbGF0aW9uOg0KYGBge3J9DQpIYW1pbHRvbkRBcyRtb2RlbDIuZSA8LSBtb2RlbDIkcmVzaWR1YWxzDQptb3Jhbi50ZXN0KEhhbWlsdG9uREFzJG1vZGVsMi5lLCBIYW1pbHRvbkRBcy53KQ0KYGBgDQoNCk9uY2UgdGhhdCB0aGUgY29ycmVjdCBmdW5jdGlvbmFsIGZvcm0gaGFzIGJlZW4gc3BlY2lmaWVkLCB0aGUgbW9kZWwgaXMgYmV0dGVyIGF0IGNhcHR1cmluZyB0aGUgdW5kZXJseWluZyBwcm9jZXNzIChjaGVjayBob3cgdGhlIGNvZWZmaWNpZW50cyBhcHByb3hpbWF0ZSB0byBhIGhpZ2ggZGVncmVlIHRoZSB0cnVlIGNvZWZmaWNpZW50cyBvZiB0aGUgbW9kZWwpLiBJbiBhZGRpdGlvbiwgd2UgY2FuIGNvbmNsdWRlIHRoYXQgdGhlIHJlc2lkdWFscyBhcmUgaW5kZXBlbmRlbnQsIGFuZCB0aGVyZWZvcmUgYXJlIG5vdyBhbHNvIHNwYXRpYWxseSByYW5kb206IG1lYW5pbmcgdGhlIHRoZXJlIGlzIG5vdGhpbmcgbGVmdCBvZiB0aGUgcHJvY2VzcyBidXQgd2hpdGUgbm9pc2UuDQoNCiMjIyBPbWl0dGVkIFZhcmlhYmxlcw0KDQpVc2luZyB0aGUgc2FtZSBleGFtcGxlLCBzdXBwb3NlIG5vdyB0aGF0IHRoZSBmdW5jdGlvbmFsIGZvcm0gb2YgdGhlIG1vZGVsIGlzIGNvcnJlY3RseSBzcGVjaWZpZWQsIGJ1dCBhIHJlbGV2YW50IHZhcmlhYmxlIGlzIG1pc3Npbmc6DQpgYGB7cn0NCm1vZGVsMyA8LSBsbShmb3JtdWxhID0gbG9nKHopIH4gdSwgZGF0YSA9IEhhbWlsdG9uREFzKQ0Kc3VtbWFyeShtb2RlbDMpDQpgYGANCg0KQXMgYmVmb3JlLCBsZXRzIGFwcGVuZCB0aGUgcmVzaWR1YWxzIHRvIHRoZSBkYXRhZnJhbWVzOg0KYGBge3J9DQpIYW1pbHRvbkRBcyRtb2RlbDMuZSA8LSBtb2RlbDMkcmVzaWR1YWxzDQpgYGANCg0KV2UgY2FuIHBsb3QgYSBtYXAgb2YgdGhlIHJlc2lkdWFscyB0byBleGFtaW5lIHRoZWlyIHNwYXRpYWwgcGF0dGVybjoNCmBgYHtyIG1lc3NhZ2UgPSBGQUxTRSwgd2FybmluZyA9IEZBTFNFfQ0KICBwbG90X2x5KEhhbWlsdG9uREFzKSAlPiUNCiAgICBhZGRfc2YoY29sb3IgPSB+KG1vZGVsMy5lID4gMCksIGNvbG9ycyA9IGMoInJlZCIsICJkb2RnZXJibHVlNCIpKQ0KYGBgDQoNCkluIHRoaXMgY2FzZSwgdGhlIHZpc3VhbCBpbnNwZWN0aW9uIG1ha2VzIGl0IGNsZWFyIHRoYXQgdGhlcmUgaXMgYW4gaXNzdWUgd2l0aCBzcGF0aWFsbHkgYXV0b2NvcnJlbGF0ZWQgcmVzaWR1YWxzLCBzb21ldGhpbmcgdGhhdCBhIHRlc3QgcmVpbmZvcmNlczoNCmBgYHtyfQ0KbW9yYW4udGVzdChIYW1pbHRvbkRBcyRtb2RlbDMuZSwgSGFtaWx0b25EQXMudykNCmBgYA0KDQpBcyBzZWVuIGFib3ZlLCB0aGUgbW9kZWwgd2l0aCB0aGUgZnVsbCBzZXQgb2YgcmVsZXZhbnQgdmFyaWFibGVzIHJlc29sdmVzIHRoaXMgcHJvYmxlbS4NCg0KIyMgUmVtZWRpYWwgQWN0aW9uDQoNCldoZW4gc3BhdGlhbCBhdXRvY29ycmVsYXRpb24gaXMgZGV0ZWN0ZWQgaW4gdGhlIHJlc2lkdWFscywgZnVydGhlciB3b3JrIGlzIHdhcnJhbnRlZC4gVGhlIHByZWNlZGluZyBleGFtcGxlcyBpbGx1c3RyYXRlIHR3byBwb3NzaWJsZSBzb2x1dGlvbnMgdG8gdGhlIGlzc3VlIG9mIHJlc2lkdWFsIHBhdHRlcm46IA0KDQoxLiBNb2RpZmljYXRpb25zIG9mIHRoZSBtb2RlbCB0byBhcHByb3hpbWF0ZSB0aGUgdHJ1ZSBmdW5jdGlvbmFsIGZvcm0gb2YgdGhlIHByb2Nlc3M7IGFuZA0KMi4gSW5jbHVzaW9uIG9mIHJlbGV2YW50IHZhcmlhYmxlcy4NCg0KSWRlYWxseSwgd2Ugd291bGQgdHJ5IHRvIGVuc3VyZSB0aGF0IHRoZSBtb2RlbCBpcyBwcm9wZXJseSBzcGVjaWZpZWQuIEluIHByYWN0aWNlLCBob3dldmVyLCBpdCBpcyBub3QgYWx3YXlzIGV2aWRlbnQgd2hhdCB0aGUgZnVuY3Rpb25hbCBmb3JtIG9mIHRoZSBtb2RlbCBzaG91bGQgYmUuIFRoZSBzZWFyY2ggZm9yIGFuIGFwcHJvcHJpYXRlIGZ1bmN0aW9uYWwgZm9ybSBjYW4gYmUgZ3VpZGVkIGJ5IHRoZW9yZXRpY2FsIGNvbnNpZGVyYXRpb25zLCBlbXBpcmljYWwgZmluZGluZ3MsIGFuZCBleHBlcmltZW50YXRpb24uIFdpdGggcmVzcGVjdCB0byBpbmNsdXNpb24gb2YgcmVsZXZhbnQgdmFyaWFibGVzLCBpdCBpcyBub3QgYWx3YXlzIHBvc3NpYmxlIHRvIGZpbmQgYWxsIHRoZSBpbmZvcm1hdGlvbiB3ZSBkZXNpcmUuIFRoaXMgY291bGQgYmUgYmVjYXVzZSBvZiBsaW1pdGVkIHJlc291cmNlcywgb3IgYmVjYXVzZSBzb21lIGFzcGVjdHMgb2YgdGhlIHByb2Nlc3MgYXJlIG5vdCBrbm93biBhbmQgdGhlcmVmb3JlIHdlIGRvIG5vdCBldmVuIGtub3cgd2hhdCBhZGRpdGlvbmFsIGluZm9ybWF0aW9uIHNob3VsZCBiZSBjb2xsZWN0ZWQuDQoNCkluIHRoZXNlIGNhc2VzLCBpdCBpcyBhIGZhY3QgdGhhdCByZXNpZHVhbCBzcGF0aWFsIGF1dG9jb3JyZWxhdGlvbiBpcyBwcm9ibGVtYXRpYy4NCg0KRm9ydHVuYXRlbHksIGEgbnVtYmVyIG9mIGFwcHJvYWNoZXMgaGF2ZSBiZWVuIHByb3Bvc2VkIGluIHRoZSBsaXRlcmF0dXJlIHRoYXQgY2FuIGJlIHVzZWQgZm9yIHJlbWVkaWFsIGFjdGlvbi4NCg0KSW4gdGhlIGZvbGxvd2luZyBzZWN0aW9ucyB3ZSB3aWxsIHJldmlldyBzb21lIG9mIHRoZW0uDQoNCiMjIEZsZXhpYmxlIEZ1bmN0aW9uYWwgRm9ybXMgYW5kIE1vZGVscyB3aXRoIFNwYXRpYWxseS12YXJ5aW5nIENvZWZmaWNpZW50cw0KDQpTb21lIG1vZGVscyB1c2UgdmFyaWFibGUgdHJhbnNmb3JtYXRpb25zIHRvIGNyZWF0ZSBtb3JlIGZsZXhpYmxlIGZ1bmN0aW9ucywgd2hpbGUgb3RoZXJzIHVzZSBhZGFwdGl2ZSBlc3RpbWF0aW9uIHN0cmF0ZWdpZXMuDQoNCiMjIyBUcmVuZCBTdXJmYWNlIEFuYWx5c2lzDQoNClRyZW5kIHN1cmZhY2UgYW5hbHlzaXMgaXMgYSBzaW1wbGUgd2F5IHRvIGdlbmVyYXRlIHJlbGF0aXZlbHkgZmxleGlibGUgc3VyZmFjZXMuDQoNClRoaXMgYXBwcm9hY2ggY29uc2lzdHMgb2YgdXNpbmcgdGhlIGNvb3JkaW5hdGVzIGFzIGNvdmFyaWF0ZXMsIGFuZCB0cmFuc2Zvcm1pbmcgdGhlbSBpbnRvIHBvbHlub21pYWxzIG9mIGRpZmZlcmVudCBvcmRlcnMuIFNlZW4gdGhpcyB3YXksIGxpbmVhciByZWdyZXNzaW9uIGlzIHRoZSBhbmFsb2cgb2YgYSB0cmVuZCBzdXJmYWNlIG9mIGZpcnN0IGRlZ3JlZToNCiQkDQp6ID0gZih4LHkpID0gXGJldGFfMCArIFxiZXRhXzF1ICsgXGJldGFfMnYNCiQkDQp3aGVyZSAkdSQgYW5kICR2JCBhcmUgdGhlIGNvb3JkaW5hdGVzLg0KDQpBIGZpZ3VyZSBpbGx1c3RyYXRlcyBob3cgdGhlIGZ1bmN0aW9uIGFib3ZlIGNyZWF0ZXMgYSByZWdyZXNzaW9uIF9wbGFuZV8uIEZpcnN0LCBjcmVhdGUgYSBncmlkIG9mIGNvb3JkaW5hdGVzIGZvciBwbG90dGluZzoNCmBgYHtyfQ0KZGYgPC0gZXhwYW5kLmdyaWQodSA9IHNlcShmcm9tID0gLTIsIHRvID0gMiwgYnkgPSAwLjIpLCB2ID0gc2VxKGZyb20gPSAtMiwgdG8gPSAyLCBieSA9IDAuMikpDQpgYGANCg0KTmV4dCwgc2VsZWN0IHNvbWUgdmFsdWVzIGZvciB0aGUgY29lZmZpY2llbnRzIChmZWVsIGZyZWUgdG8gZXhwZXJpbWVudCB3aXRoIHRoZXNlIHZhbHVlcyk6DQpgYGB7cn0NCmIwIDwtIDAuNSAjMC41DQpiMSA8LSAxICMxDQpiMiA8LSAyICMyDQp6MSA8LSBiMCArIGIxICogZGYkdSArIGIyICogZGYkdg0KejEgPC0gbWF0cml4KHoxLCBucm93ID0gMjEsIG5jb2wgPSAyMSkNCmBgYA0KDQpUaGUgcGxvdCBpcyBhcyBmb2xsb3dzOg0KYGBge3J9DQpwbG90X2x5KHogPSB+ejEpICU+JSBhZGRfc3VyZmFjZSgpICU+JQ0KICBsYXlvdXQoc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aWNrdGV4dCA9IGMoIi0yIiwgIjAiLCAiMiIpLCB0aWNrdmFscyA9IGMoMCwgMTAsIDIwKSksIA0KICAgICAgICAgICAgICAgICAgICAgIHlheGlzID0gbGlzdCh0aWNrdGV4dCA9IGMoIi0yIiwgIjAiLCAiMiIpLCB0aWNrdmFscyA9IGMoMCwgMTAsIDIwKSkNCiAgICAgICAgICAgICAgICAgICAgICApDQogICAgICAgICApICU+JQ0KICBsYXlvdXQoc2NlbmUgPSBsaXN0ICh4YXhpcyA9IGxpc3QodGl0bGUgPSAidiIpLCB5YXhpcyA9IGxpc3QodGl0bGUgPSAidSIpKSkNCmBgYA0KDQpBIHRyZW5kIHN1cmZhY2Ugb2Ygc2Vjb25kIGRlZ3JlZSwgb3IgcXVhZHJhdGljLCB3b3VsZCBiZSBhcyBmb2xsb3dzLiBOb3RpY2UgaG93IGl0IGluY2x1ZGVzIF9hbGxfIHBvc3NpYmxlIHF1YWRyYXRpYyB0ZXJtcywgaW5jbHVkaW5nIHRoZSBwcm9kdWN0ICR4eSQ6DQokJA0KeiA9IGYoeCx5KSA9IFxiZXRhXzAgKyBcYmV0YV8xdV4yICsgXGJldGFfMnUgKyBcYmV0YV8zdXYgKyBcYmV0YV80diArIFxiZXRhXzV2XjINCiQkDQoNClVzZSB0aGUgc2FtZSBncmlkIGFzIGFib3ZlIHRvIGNyZWF0ZSBub3cgYSByZWdyZXNzaW9uIF9zdXJmYWNlXy4gU2VsZWN0IHNvbWUgY29lZmZpY2llbnRzOg0KYGBge3J9DQpiMCA8LSAwLjUgIzAuNQ0KYjEgPC0gMiAjMg0KYjIgPC0gMSAjMQ0KYjMgPC0gMSAjMQ0KYjQgPC0gMS41ICMxLjUNCmI1IDwtIDAuNSAjMi41DQp6MiA8LSBiMCArIGIxICogZGYkdV4yICsgYjIgKiBkZiR1ICsgYjMgKiBkZiR1ICogZGYkdiArIGI0ICogZGYkdiArIGI1ICogZGYkdl4yDQp6MiA8LSBtYXRyaXgoejIsIG5yb3cgPSAyMSwgbmNvbCA9IDIxKQ0KYGBgDQoNCkFuZCB0aGUgcGxvdCBpcyBhcyBmb2xsb3dzOg0KYGBge3J9DQpwbG90X2x5KHogPSB+ejIpICU+JSBhZGRfc3VyZmFjZSgpICU+JQ0KICBsYXlvdXQoc2NlbmUgPSBsaXN0KHhheGlzID0gbGlzdCh0aWNrdGV4dCA9IGMoIi0yIiwgIjAiLCAiMiIpLCB0aWNrdmFscyA9IGMoMCwgMTAsIDIwKSksIA0KICAgICAgICAgICAgICAgICAgICAgIHlheGlzID0gbGlzdCh0aWNrdGV4dCA9IGMoIi0yIiwgIjAiLCAiMiIpLCB0aWNrdmFscyA9IGMoMCwgMTAsIDIwKSkNCiAgICAgICAgICAgICAgICAgICAgICApDQogICAgICAgICApICU+JQ0KICBsYXlvdXQoc2NlbmUgPSBsaXN0ICh4YXhpcyA9IGxpc3QodGl0bGUgPSAidiIpLCB5YXhpcyA9IGxpc3QodGl0bGUgPSAidSIpKSkNCmBgYA0KDQpIaWdoZXIgb3JkZXIgcG9seW5vbWlhbHMgKGkuZS4sIGN1YmljLCBxdWFydGljLCBldGMuKSBhcmUgcG9zc2libGUgaW4gcHJpbmNpcGxlLiBTb21ldGhpbmcgdG8ga2VlcCBpbiBtaW5kIGlzIHRoYXQgdGhlIGhpZ2hlciB0aGUgb3JkZXIgb2YgdGhlIHBvbHlub21pYWwsIHRoZSBtb3JlIGZsZXhpYmxlIHRoZSBzdXJmYWNlLCB3aGljaCBtYXkgbGVhZCB0byB0aGUgZm9sbG93aW5nIGlzc3VlczoNCg0KMS4gTXVsdGljb2xsaW5lYXJpdHkuDQoNClBvd2VycyBvZiB2YXJpYWJsZXMgdGVuZCB0byBiZSBoaWdobHkgY29ycmVsYXRlZCB3aXRoIGVhY2ggb3RoZXIuIFNlZSB0aGUgZm9sbG93aW5nIHRhYmxlIG9mIGNvcnJlbGF0aW9ucyBmb3IgdGhlIGB4YCBjb29yZGluYXRlIGluIHRoZSBleGFtcGxlOg0KYGBge3IgZWNobyA9IEZBTFNFLCByZXN1bHRzID0gImFzaXMifQ0Ka2FibGUoY29yKGNiaW5kKHUgPSBkZiR1LCBgdV4yYCA9IGRmJHVeMiwgYHVeM2AgPSBkZiR1XjMsIGB1XjRgID0gZGYkdV40KSksIA0KICAgICAgZGlnaXRzID0gMiwgZm9ybWF0ID0gImh0bWwiKSAlPiUga2FibGVfc3R5bGluZygpDQpgYGANCg0KV2hlbiB0d28gdmFyaWFibGVzIGFyZSBoaWdobHkgY29sbGluZWFyLCB0aGUgbW9kZWwgaGFzIGRpZmZpY3VsdGllcyBkaXNjcmltaW5hdGluZyB0aGVpciByZWxhdGl2ZSBjb250cmlidXRpb24gdG8gdGhlIG1vZGVsLiBUaGlzIGlzIG1hbmlmZXN0ZWQgYnkgaW5mbGF0ZWQgc3RhbmRhcmQgZXJyb3JzIHRoYXQgbWF5IGRlcHJlc3MgdGhlIHNpZ25pZmljYW5jZSBvZiB0aGUgY29lZmZpY2llbnRzLCBhbmQgb2NjYXNpb25hbGx5IGJ5IHNpZ24gcmV2ZXJzYWxzLg0KDQoyLiBPdmVyZml0dGluZy4NCg0KT3ZlcmZpdHRpbmcgaXMgYW5vdGhlciBwb3NzaWJsZSBjb25zZXF1ZW5jZSBvZiB1c2luZyBhIHRyZW5kIHN1cmZhY2UgdGhhdCBpcyB0b28gZmxleGlibGUuIFRoaXMgaGFwcGVucyB3aGVuIGEgbW9kZWwgZml0cyB0b28gd2VsbCB0aGUgb2JzZXJ2YXRpb25zIHVzZWQgZm9yIGNhbGxpYnJhdGlvbiwgYnV0IGJlY2F1c2Ugb2YgdGhpcyBpdCBtYXkgZmFpbCB0byBmaXQgd2VsbCBuZXcgaW5mb3JtYXRpb24uDQoNClRvIGlsbHVzdHJhdGUgb3ZlcmZpdHRpbmcgY29uc2lkZXIgYSBzaW1wbGUgZXhhbXBsZS4gQmVsb3cgd2Ugc2ltdWxhdGUgYSBzaW1wbGUgbGluZWFyIG1vZGVsIHdpdGggJHlfaSA9ICB4X2kgKyBcZXBzaWxvbl9pJCAodGhlIHJhbmRvbSB0ZXJtcyBhcmUgZHJhd24gZnJvbSB0aGUgdW5pZm9ybSBkaXN0cmlidXRpb24pLiBXZSBhbHNvIHNpbXVsYXRlIG5ldyBkYXRhIHVzaW5nIHRoZSBleGFjdCBzYW1lIHByb2Nlc3M6DQpgYGB7cn0NCiMgRGF0YXNldCBmb3IgZXN0aW1hdGlvbg0KZGYub2YxIDwtIGRhdGEuZnJhbWUoeCA9IHNlcShmcm9tID0gMSwgdG8gPSAxMCwgYnkgPSAxKSkNCmRmLm9mMSA8LSBtdXRhdGUoZGYub2YxLCB5ID0geCArIHJ1bmlmKDEwLCAtMSwgMSkpDQojIE5ldyBkYXRhDQpuZXdfZGF0YSA8LSBkYXRhLmZyYW1lKHggPSBzZXEoZnJvbSA9IDEsIHRvID0gMTAsIGJ5ID0gMC41KSkNCmRmLm9mMiA8LSBtdXRhdGUobmV3X2RhdGEsIHkgPSB4ICsgcnVuaWYobnJvdyhuZXdfZGF0YSksIC0xLCAxKSkNCmBgYA0KDQpUaGlzIGlzIHRoZSBzY2F0dGVycGxvdCBvZiB0aGUgb2JzZXJ2YXRpb25zIGluIHRoZSBlc3RpbWF0aW9uIGRhdGFzZXQ6DQpgYGB7cn0NCnAgPC0gZ2dwbG90KGRhdGEgPSBkZi5vZjEsIGFlcyh4ID0geCwgeSA9IHkpKSANCnAgKyBnZW9tX3BvaW50KHNpemUgPSAzKQ0KYGBgDQoNCkEgbW9kZWwgd2l0aCBhIGZpcnN0IG9yZGVyIHRyZW5kIChlc3NlbnRpYWxseSBsaW5lYXIgcmVncmVzc2lvbiksIGRvZXMgbm90IGZpdCB0aGUgb2JzZXJ2YXRpb25zIHBlcmZlY3RseSwgYnV0IHdoZW4gY29uZnJvbnRlZCB3aXRoIG5ldyBkYXRhIChwbG90dGVkIGFzIHJlZCBzcXVhcmVzKSwgaXQgcHJlZGljdHMgdGhlbSB3aXRoIHJlYXNvbmFibGUgYWNjdXJhY3k6DQpgYGB7cn0NCm1vZC5vZjEgPC0gbG0oZm9ybXVsYSA9IHkgfiB4LCBkYXRhID0gZGYub2YxKQ0KcHJlZDEgPC0gcHJlZGljdChtb2Qub2YxLCBuZXdkYXRhID0gbmV3X2RhdGEpICNtb2Qub2YxJGZpdHRlZC52YWx1ZXMNCnAgKyBnZW9tX2FibGluZShzbG9wZSA9IG1vZC5vZjEkY29lZmZpY2llbnRzWzJdLCBpbnRlcmNlcHQgPSBtb2Qub2YxJGNvZWZmaWNpZW50c1sxXSwgDQogICAgICAgICAgICAgICAgY29sb3IgPSAiYmx1ZSIsIHNpemUgPSAxKSArDQogIGdlb21fcG9pbnQoZGF0YSA9IGRmLm9mMiwgYWVzKHggPSB4LCB5ID0geSksIHNoYXBlID0gMCwgY29sb3IgPSAicmVkIikgKw0KICBnZW9tX3NlZ21lbnQoZGF0YSA9IGRmLm9mMiwgYWVzKHhlbmQgPSB4LCB5ZW5kID0gcHJlZDEpKSArIA0KICBnZW9tX3BvaW50KHNpemUgPSAzKSArDQogIHhsaW0oYygxLCAxMCkpDQpgYGANCg0KQ29tcGFyZSB0byBhIHBvbHlub21pYWwgb2YgdmVyeSBoaWdoIGRlZ3JlZSAobmluZSBpbiB0aGlzIGNhc2UpLiBUaGUgbW9kZWwgaXMgbXVjaCBtb3JlIGZsZXhpYmxlLCB0byB0aGUgZXh0ZW50IHRoYXQgaXQgcGVyZmVjdGx5IG1hdGNoZXMgdGhlIG9ic2VydmF0aW9ucyBpbiB0aGUgZXN0aW1hdGlvbiBkYXRhc2V0LiBIb3dldmVyLCB0aGlzIGZsZXhpYmlsaXR5IGhhcyBhIGRvd25zaWRlLiBXaGVuIHRoZSBtb2RlbCBpcyBjb25mcm9udGVkIHdpdGggbmV3IGluZm9ybWF0aW9uLCBpdHMgcGVyZm9ybWFuY2UgaXMgbGVzcyBzYXRpc2ZhY3RvcnkuDQpgYGB7cn0NCm1vZC5vZjIgPC0gbG0oZm9ybXVsYSA9IHkgfiBwb2x5KHgsIGRlZ3JlZSA9IDksIHJhdyA9IFRSVUUpLCBkYXRhID0gZGYub2YxKQ0KcG9seS5mdW4gPC0gcHJlZGljdChtb2Qub2YyLCBkYXRhLmZyYW1lKHggPSBzZXEoMSwgMTAsIDAuMSkpKQ0KcHJlZDIgPC0gcHJlZGljdChtb2Qub2YyLCBuZXdkYXRhID0gbmV3X2RhdGEpICNtb2Qub2YxJGZpdHRlZC52YWx1ZXMNCg0KcCArIA0KICAjc3RhdF9mdW5jdGlvbihmdW4gPSBmdW4ucG9sLCANCiAgZ2VvbV9saW5lKGRhdGEgPSBkYXRhLmZyYW1lKHggPSBzZXEoMSwgMTAsIDAuMSksIHkgPSBwb2x5LmZ1biksIGFlcyh4ID0geCwgeSA9IHkpLA0KICAgICAgICAgICAgICAgIGNvbG9yID0gImJsdWUiLCBzaXplID0gMSkgKyANCiAgZ2VvbV9wb2ludChkYXRhID0gZGYub2YyLCBhZXMoeCA9IHgsIHkgPSB5KSwgc2hhcGUgPSAwLCBjb2xvciA9ICJyZWQiKSArDQogIGdlb21fc2VnbWVudChkYXRhID0gZGYub2YyLCBhZXMoeGVuZCA9IHgsIHllbmQgPSBwcmVkMikpICsgDQogIGdlb21fcG9pbnQoc2l6ZSA9IDMpICsNCiAgeGxpbShjKDEsIDEwKSkNCmBgYA0KDQpXZSBjYW4gY29tcHV0ZSB0aGUgX3Jvb3QgbWVhbiBzcXVhcmVfIChSTVMpLCBmb3IgZWFjaCBvZiB0aGUgdHdvIG1vZGVscy4gVGhlIFJNUyBpcyBhIG1lYXN1cmUgb2YgZXJyb3IgY2FsY3VsYXRlZCBhcyB0aGUgc3F1YXJlIHJvb3Qgb2YgdGhlIG1lYW4gb2YgdGhlIHNxdWFyZWQgZGlmZmVyZW5jZXMgYmV0d2VlbiB0d28gdmFsdWVzIChpbiB0aGlzIGNhc2UgdGhlIHByZWRpY3Rpb24gb2YgdGhlIG1vZGVsIGFuZCB0aGUgbmV3IGluZm9ybWF0aW9uKS4gVGhpcyBzdGF0aXN0aWMgaXMgYSBtZWFzdXJlIG9mIHRoZSB0eXBpY2FsIGRldmlhdGlvbiBiZXR3ZWVuIHR3byBzZXRzIG9mIHZhbHVlcy4gR2l2ZW4gbmV3IGluZm9ybWF0aW9uLCB0aGUgUk1TIHdvdWxkIHRlbGwgdXMgdGhlIGV4cGVjdGVkIHNpemUgb2YgdGhlIGVycm9yIHdoZW4gbWFraW5nIGEgcHJlZGljdGlvbiB1c2luZyBhIGdpdmVuIG1vZGVsLg0KDQpUaGUgUk1TIGZvciBtb2RlbCAxIGlzOg0KYGBge3J9DQpzcXJ0KG1lYW4oKGRmLm9mMiR5IC0gcHJlZDEpXjIpKQ0KYGBgDQoNCkFuZCBmb3IgbW9kZWwgMjoNCmBgYHtyfQ0Kc3FydChtZWFuKChkZi5vZjIkeSAtIHByZWQyKV4yKSkNCmBgYA0KDQpZb3Ugd2lsbCBub3RpY2UgaG93IG1vZGVsIDIsIGRlc3BpdGUgZml0dGluZyB0aGUgZXN0aW1hdGlvbiBkYXRhIGJldHRlciB0aGFuIG1vZGVsIDEsIHR5cGljYWxseSBwcm9kdWNlcyBsYXJnZXIgZXJyb3JzIHdoZW4gbmV3IGluZm9ybWF0aW9uIGJlY29tZXMgYXZhaWxhYmxlLg0KDQozLiBFZGdlIGVmZmVjdHMuDQoNCkFub3RoZXIgY29uc2VxdWVuY2Ugb2Ygb3ZlcmZpdHRpbmcsIGlzIHRoYXQgdGhlIHJlc3VsdGluZyBmdW5jdGlvbnMgdGVuZCB0byBkaXNwbGF5IGV4dHJlbWUgYmVoYXZpb3Igd2hlbiB0YWtlbiBvdXRzaWRlIG9mIHRoZWlyIGVzdGltYXRpb24gcmFuZ2UsIHdoZXJlIHRoZSBsYXJnZXN0IHBvbHlub21pYWwgdGVybXMgdGVuZCB0byBkb21pbmF0ZS4gDQoNClRoZSBwbG90IGJlbG93IGlzIHRoZSBzYW1lIGhpZ2ggZGVncmVlIHBvbHlub21pYWwgZXN0aW1hdGVkIGFib3ZlLCBqdXN0IHBsb3R0ZWQgaW4gYSBzbGlnaHRseSBsYXJnZXIgcmFuZ2Ugb2YgcGx1cy9taW51cyBvbmUgdW5pdDoNCmBgYHtyfQ0KcG9seS5mdW4gPC0gcHJlZGljdChtb2Qub2YyLCBkYXRhLmZyYW1lKHggPSBzZXEoMCwgMTEsIDAuMSkpKQ0KcCArIA0KICBnZW9tX2xpbmUoZGF0YSA9IGRhdGEuZnJhbWUoeCA9IHNlcSgwLCAxMSwgMC4xKSwgeSA9IHBvbHkuZnVuKSwgYWVzKHggPSB4LCB5ID0geSksDQogICAgICAgICAgICAgICAgY29sb3IgPSAiYmx1ZSIsIHNpemUgPSAxKSArIA0KICBnZW9tX3BvaW50KGRhdGEgPSBkZi5vZjIsIGFlcyh4ID0geCwgeSA9IHkpLCBzaGFwZSA9IDAsIGNvbG9yID0gInJlZCIpICsNCiAgZ2VvbV9zZWdtZW50KGRhdGEgPSBkZi5vZjIsIGFlcyh4ZW5kID0geCwgeWVuZCA9IHByZWQyKSkgKyANCiAgZ2VvbV9wb2ludChzaXplID0gMykNCmBgYA0KDQojIyMgTW9kZWxzIHdpdGggU3BhdGlhbGx5LXZhcnlpbmcgQ29lZmZpY2llbnRzDQoNCkFub3RoZXIgd2F5IHRvIGdlbmVyYXRlIGZsZXhpYmxlIGZ1bmN0aW9uYWwgZm9ybXMgaXMgYnkgbWVhbnMgb2YgbW9kZWxzIHdpdGggc3BhdGlhbGx5IHZhcnlpbmcgY29lZmZpY2llbnRzLiBUd28gYXBwcm9hY2hlcyBhcmUgcmV2aWV3ZWQgaGVyZS4NCg0KIyMjIyBFeHBhbnNpb24gTWV0aG9kDQoNClRoZSBleHBhbnNpb24gbWV0aG9kIChbQ2FzZXR0aSwgMTk3Ml0oaHR0cDovL29ubGluZWxpYnJhcnkud2lsZXkuY29tL2RvaS8xMC4xMTExL2ouMTUzOC00NjMyLjE5NzIudGIwMDQ1OC54L2Z1bGwpKSBpcyBhbiBhcHByb2FjaCB0byBnZW5lcmF0ZSBtb2RlbHMgd2l0aCBjb250ZXh0dWFsIGVmZmVjdHMuIEl0IGZvbGxvd3MgYSBwaGlsb3NvcGh5IG9mIHNwZWNpZnlpbmcgZmlyc3QgYSBzdWJzdGFudGl2ZSBtb2RlbCB3aXRoIHZhcmlhYmxlcyBvZiBpbnRlcmVzdCwgYW5kIHRoZW4gYW4gZXhwYW5kZWQgbW9kZWwgd2l0aCBjb250ZXh0dWFsIHZhcmlhYmxlcy4gSW4gZ2VvZ3JhcGhpY2FsIGFuYWx5c2lzLCB0eXBpY2FsbHkgdGhlIGNvbnRleHR1YWwgdmFyaWFibGVzIGFyZSB0cmVuZCBzdXJmYWNlcyBlc3RpbWF0ZWQgdXNpbmcgdGhlIGNvb3JkaW5hdGVzIG9mIHRoZSBvYnNlcnZhdGlvbnMuDQoNClRvIGlsbHVzdHJhdGUgdGhpcywgc3VwcG9zZSB0aGF0IHRoZXJlIGlzIHRoZSBmb2xsb3dpbmcgaW5pdGlhbCBtb2RlbCBvZiBwcm9wb3J0aW9uIG9mIGRvbm9ycyBpbiBhIHBvcHVsYXRpb24sIHdpdGggdHdvIHZhcmlhYmxlcyBvZiBzdWJzdGFudGl2ZSBpbnRlcmVzdCAoc2F5LCBpbmNvbWUgYW5kIGVkdWNhdGlvbik6DQokJA0KZF9pID0gXGJldGFfaSh1X2ksdl9pKSArIFxiZXRhXzEodV9pLHZfaSlJX2kgKyBcYmV0YV8zKHVfaSx2X2kpRWRfaSArIFxlcHNpbG9uX2kNCiQkDQoNCk5vdGUgaG93IHRoZSBjb2VmZmljaWVudHMgYXJlIG5vdyBhIGZ1bmN0aW9uIG9mIHRoZSBjb29yZGluYXRlcyBhdCAkaSQuIFVubGlrZSBwcmV2aW91cyBtb2RlbHMgdGhhdCBoYWQgX2dsb2JhbF8gY29lZmZpY2llbnRzLCB0aGUgY29lZmZpY2llbnRzIGluIHRoaXMgbW9kZWwgYXJlIGFsbG93ZWQgdG8gYWRhcHQgYnkgbG9jYXRpb24uDQoNClVuZm9ydHVuYXRlbHksIGl0IGlzIG5vdCBwb3NzaWJsZSB0byBlc3RpbWF0ZSBvbmUgY29lZmZpY2llbnQgcGVyIGxvY2F0aW9uLiBJbiB0aGlzIGNhc2UsIHRoZXJlIGFyZSAkblx0aW1lcyBrJCBjb2VmZmljaWVudHMsIHdoaWNoIGV4Y2VlZHMgdGhlIHNpemUgb2YgdGhlIHNhbXBsZSAoJG4kKS4gSXQgaXMgbm90IHBvc3NpYmxlIHRvIHJldHJpZXZlIG1vcmUgaW5mb3JtYXRpb24gZnJvbSB0aGUgc2FtcGxlIHRoYW4gJG4kIHBhcmFtZXRlcnMgKHRoaXMgaXMgY2FsbGVkIHRoZSBpbmNpZGVudGFsIHBhcmFtZXRlciBwcm9ibGVtLikNCg0KQSBwb3NzaWJsZSBzb2x1dGlvbiBpcyB0byBzcGVjaWZ5IGEgZnVuY3Rpb24gZm9yIHRoZSBjb2VmZmljaWVudHMsIGZvciBpbnN0YW5jZSwgYnkgc3BlY2lmeWluZyBhIHRyZW5kIHN1cmZhY2UgZm9yIHRoZW06DQokJA0KXGJlZ2lue2FycmF5fXtsfQ0KXGJldGFfMCh1X2ksIHZfaSkgPSBcYmV0YV97MDF9ICtcYmV0YV97MDJ9dV9pICsgXGJldGFfezAzfXZfaVxcDQpcYmV0YV8xKHVfaSwgdl9pKSA9IFxiZXRhX3sxMX0gK1xiZXRhX3sxMn11X2kgKyBcYmV0YV97MTN9dl9pXFwNClxiZXRhXzIodV9pLCB2X2kpID0gXGJldGFfezIxfSArXGJldGFfezIyfXVfaSArIFxiZXRhX3syM312X2kNClxlbmR7YXJyYXl9DQokJA0KQnkgc3BlY2lmeWluZyB0aGUgY29lZmZpY2llbnRzIGFzIGEgZnVuY3Rpb24gb2YgdGhlIGNvb3JkaW5hdGVzLCB3ZSBhbGxvdyB0aGVtIHRvIHZhcnkgYnkgbG9jYXRpb24uDQoNCk5leHQsIGlmIHdlIHN1YnN0aXR1dGUgdGhlc2UgY29lZmZpY2llbnRzIGluIHRoZSBpbnRpYWwgbW9kZWwsIHdlIGFycml2ZSBhdCBhIGZpbmFsIGV4cGFuZGVkIG1vZGVsOg0KJCQNCmRfaSA9IFxiZXRhX3swMX0gK1xiZXRhX3swMn11X2kgKyBcYmV0YV97MDN9dl9pICsgXGJldGFfezExfUlfaSArXGJldGFfezEyfXVfaUlfaSArIFxiZXRhX3sxM312X2lJX2kgKyBcYmV0YV97MjF9RWRfaSArXGJldGFfezIyfXVfaUVkX2kgKyBcYmV0YV97MjN9dl9pRWRfaSArIFxlcHNpbG9uX2kNCiQkDQoNClRoaXMgbW9kZWwgaGFzIG5vdyBuaW5lIGNvZWZmaWNpZW50cywgaW5zdGVhZCBvZiAkblx0aW1lcyAzJCwgYW5kIGNhbiBiZSBlc3RpbWF0ZWQgYXMgdXN1YWwuDQoNCkl0IGlzIGltcG9ydGFudCB0byBub3RlIHRoYXQgc2luY2UgbW9kZWxzIGdlbmVyYXRlZCBiYXNlZCBvbiB0aGUgZXhwYW5zaW9uIG1ldGhvZCBhcmUgYmFzZWQgb24gdGhlIHVzZSBvZiB0cmVuZCBzdXJmYWNlcywgc2ltaWxhciBjYXZlYXRzIGFwcGx5IHdpdGggcmVzcGVjdCB0byBtdWx0aWNvbGxpbmVhcml0eSBhbmQgb3ZlcmZpdHRpbmcuDQoNCiMjIyMgR2VvZ3JhcGhpY2FsbHkgV2VpZ2h0ZWQgUmVncmVzc2lvbiAoR1dSKQ0KDQpBIGRpZmZlcmVudCBzdHJhdGVneSB0byBlc3RpbWF0ZSBtb2RlbHMgd2l0aCBzcGF0aWFsbHktdmFyeWluZyBjb2VmZmljaWVudHMgaXMgYSBzZW1pLXBhcmFtZXRyaWMgYXBwcm9hY2gsIGNhbGxlZCBnZW9ncmFwaGljYWxseSB3ZWlnaHRlZCByZWdyZXNzaW9uIChzZWUgW0JydW5zZG9uIGV0IGFsLiwgMTk5Nl0oaHR0cDovL29ubGluZWxpYnJhcnkud2lsZXkuY29tL2RvaS8xMC4xMTExL2ouMTUzOC00NjMyLjE5OTYudGIwMDkzNi54L2Fic3RyYWN0KSkuDQoNCkluc3RlYWQgb2Ygc2VsZWN0aW5nIGEgZnVuY3Rpb25hbCBmb3JtIGZvciB0aGUgY29lZmZpY2llbnRzIGFzIHRoZSBleHBhbnNpb24gbWV0aG9kIGRvZXMsIHRoZSBmdW5jdGlvbnMgYXJlIGxlZnQgdW5zcGVjaWZpZWQuIFRoZSBzcGF0aWFsIHZhcmlhdGlvbiBvZiB0aGUgY29lZmZpY2llbnRzIHJlc3VsdHMgZnJvbSBhbiBlc3RpbWF0aW9uIHN0cmF0ZWd5IHRoYXQgdGFrZXMgc3Vic2FtcGxlcyBvZiB0aGUgZGF0YSBpbiBhIHN5c3RlbWF0aWMgd2F5Lg0KDQpJZiB5b3UgcmVjYWxsIGtlcm5lbCBkZW5zaXR5IGFuYWx5c2lzLCBhIGtlcm5lbCB3YXMgYSB3YXkgb2Ygd2VpZ2h0aW5nIG9ic2VydmF0aW9ucyBiYXNlZCBvbiB0aGVpciBkaXN0YW5jZSBmcm9tIGEgZm9jYWwgcG9pbnQuDQoNCkdlb2dyYXBoaWNhbGx5IHdlaWdodGVkIHJlZ3Jlc3Npb24gYXBwbGllcyBhIHNpbWlsYXIgY29uY2VwdCwgd2l0aCBhIG1vdmluZyB3aW5kb3cgdGhhdCB2aXNpdHMgYSBmb2NhbCBwb2ludCBhbmQgZXN0aW1hdGVzIGEgd2VpZ2h0ZWQgbGVhc3Qgc3F1YXJlcyBtb2RlbCBhdCB0aGF0IGxvY2F0aW9uLiBUaGUgcmVzdWx0cyBvZiB0aGUgcmVncmVzc2lvbiBhcmUgY29udmVudGlvbmFsbHkgYXBwbGllZCB0byB0aGUgZm9jYWwgcG9pbnQsIGluIHN1Y2ggYSB3YXkgdGhhdCBub3Qgb25seSB0aGUgY29lZmZpY2llbnRzIGFyZSBsb2NhbGl6ZWQsIGJ1dCBhbHNvIGV2ZXJ5IG90aGVyIHJlZ3Jlc3Npb24gZGlhZ25vc3RpYyAoZS5nLiwgdGhlIGNvZWZmaWNpZW50IG9mIGRldGVybWluYXRpb24sIHRoZSBzdGFuZGFyZCBkZXZpYXRpb24sIGV0Yy4pDQoNCkEga2V5IGFzcGVjdCBvZiBpbXBsZW1lbnRpbmcgdGhpcyBtb2RlbCBpcyB0aGUgc2VsZWN0aW9uIG9mIHRoZSBrZXJuZWwgYmFuZHdpZHRoLCB0aGF0IGlzLCB0aGUgc2l6ZSBvZiB0aGUgd2luZG93LiBJZiB0aGUgd2luZG93IGlzIHRvbyBsYXJnZSwgdGhlIGxvY2FsIG1vZGVscyB0ZW5kIHRvd2FyZHMgdGhlIGdsb2JhbCBtb2RlbCAoZXN0aW1hdGVkIHVzaW5nIHRoZSB3aG9sZSBzYW1wbGUpLiBJZiB0aGUgd2luZG93IGlzIHRvbyBzbWFsbCwgdGhlIG1vZGVsIHRlbmRzIHRvIG92ZXJmaXQsIHNpbmNlIGluIHRoZSBsaW1pdCBlYWNoIHdpbmRvdyB3aWxsIGNvbnRhaW4gb25seSBvbmUsIG9yIGEgdmVyeSBzbWFsbCBudW1iZXIgb2Ygb2JzZXJ2YXRpb25zLg0KDQpUaGUga2VybmVsIGJhbmR3aWR0aCBjYW4gYmUgc2VsZWN0ZWQgaWYgd2UgZGVmaW5lIHNvbWUgbG9zcyBmdW5jdGlvbiB0byBtaW5pbWl6ZS4gQSBjb252ZW50aW9uYWwgYXBwcm9hY2ggKGJ1dCBub3QgdGhlIG9ubHkgb25lKSwgaXMgdG8gbWluaW1pemUgYSBjcm9zcy12YWxpZGF0aW9uIHNjb3JlIG9mIHRoZSBmb2xsb3dpbmcgZm9ybToNCiQkDQpDViAoXGRlbHRhKSA9IFxzdW1fe2k9MX1ebntcYmlnKHlfaSAtIFxoYXR7eX1fe1xuZXEgaX0oXGRlbHRhKVxiaWcpXjJ9DQokJA0KSW4gdGhpcyBub3RhdGlvbiwgJFxkZWx0YSQgaXMgdGhlIGJhbmR3aWR0aCwgYW5kICRcaGF0e3l9X3tcbmVxIGl9KFxkZWx0YSkkIGlzIHRoZSB2YWx1ZSBvZiAkeSQgcHJlZGljdGVkIGJ5IGEgbW9kZWwgd2l0aCBhIGJhbmR3aWR0aCBvZiAkXGRlbHRhJCBfYWZ0ZXIgZXhjbHVkaW5nIHRoZSBvYnNlcnZhdGlvbiBhdCAkaSRfLiBUaGlzIGlzIGNhbGxlZCBhIF9sZWF2ZS1vbmUtb3V0XyBjcm9zcy12YWxpZGF0aW9uIHByb2NlZHVyZSwgdXNlZCB0byBwcmV2ZW50IHRoZSBlc3RpbWF0aW9uIGZyb20gc2hyaW5raW5nIHRoZSBiYW5kd2lkdGggdG8gemVyby4NCg0KR1dSIGlzIGltcGxlbWVudGVkIGluIHRoZSBwYWNrYWdlIGBzcGd3cmAuIFRvIGVzdGltYXRlIG1vZGVscyB1c2luZyB0aGlzIGFwcHJvYWNoLCB0aGUgZnVuY3Rpb24gYHNlbC5HV1JgLCB3aGljaCB0YWtlcyBhcyBpbnB1dHMgYSBmb3JtdWxhIHNwZWNpZnlpbmcgdGhlIGRlcGVuZGVudCBhbmQgaW5kZXBlbmRlbnQgdmFyaWFibGVzLCBhIGBTcGF0aWFsUG9seWdvbnNEYXRhRnJhbWVgIChvciBhIGBTcGF0aWFsUG9pbnRzRGF0YUZyYW1lYCksIGFuZCB0aGUga2VybmVsIGZ1bmN0aW9uIChpbiB0aGUgZXhhbXBsZSBiZWxvdyBhIEdhdXNzaWFuIGtlcm5lbCkuIFNpbmNlIG91ciBkYXRhIGNvbWUgaW4gdGhlIGZvcm0gb2Ygc2ltcGxlIGZlYXR1cmVzLCB3ZSB1c2UgYGFzKHgsICJTcGF0aWFsIilgIHRvIGNvbnZlcnQgdG8gYSBgU3BhdGlhbCpEYXRhRnJhbWVgIG9iamVjdDoNCmBgYHtyfQ0KZGVsdGEgPC0gZ3dyLnNlbChmb3JtdWxhID0geiB+IHUgKyB2LCANCiAgICAgICAgICAgICAgICAgZGF0YSA9IGFzKEhhbWlsdG9uREFzLCAiU3BhdGlhbCIpLCANCiAgICAgICAgICAgICAgICAgZ3dlaWdodCA9IGd3ci5HYXVzcykNCmBgYA0KDQpUaGUgZnVuY3Rpb24gYGd3cmAgZXN0aW1hdGVzIHRoZSBzdWl0ZSBvZiBsb2NhbCBtb2RlbHMgZ2l2ZW4gYSBiYW5kd2lkdGg6DQpgYGB7cn0NCm1vZGVsLmd3ciA8LSBnd3IoZm9ybXVsYSA9IHogfiB1ICsgdiwgDQogICAgICAgICAgICAgICAgIGJhbmR3aWR0aCA9IGRlbHRhLCANCiAgICAgICAgICAgICAgICAgZGF0YSA9IGFzKEhhbWlsdG9uREFzLCAiU3BhdGlhbCIpLA0KICAgICAgICAgICAgICAgICBnd2VpZ2h0ID0gZ3dyLkdhdXNzKQ0KbW9kZWwuZ3dyDQpgYGANCg0KVGhlIHJlc3VsdHMgYXJlIGdpdmVuIGZvciBlYWNoIGxvY2F0aW9uIHdoZXJlIGEgbG9jYWwgcmVncmVzc2lvbiB3YXMgZXN0aW1hdGVkLiBMZXRzIGpvaW4gdGhlc2UgcmVzdWx0cyB0byBgc2ZgIGRhdGFmcmFtZSBmb3IgcGxvdHRpbmc6DQpgYGB7cn0NCkhhbWlsdG9uREFzJGJldGEwIDwtIG1vZGVsLmd3ciRTREZAZGF0YSRYLkludGVyY2VwdC4NCkhhbWlsdG9uREFzJGJldGExIDwtIG1vZGVsLmd3ciRTREZAZGF0YSR1DQpIYW1pbHRvbkRBcyRiZXRhMiA8LSBtb2RlbC5nd3IkU0RGQGRhdGEkdg0KSGFtaWx0b25EQXMkbG9jYWxSMiA8LSBtb2RlbC5nd3IkU0RGQGRhdGEkbG9jYWxSMg0KSGFtaWx0b25EQXMkZ3dyLmUgPC0gbW9kZWwuZ3dyJFNERkBkYXRhJGd3ci5lDQpgYGANCg0KVGhlIHJlc3VsdHMgY2FuIGJlIG1hcHBlZCBhcyBzaG93biBiZWxvdyAodHJ5IG1hcHBpbmcgYGJldGExYCwgYGJldGEyYCwgYGxvY2FsUjJgLCBvciB0aGUgcmVzaWR1YWxzIGBnd3IuZWApOg0KYGBge3J9DQpnZ3Bsb3QoZGF0YSA9IEhhbWlsdG9uREFzLCBhZXMoZmlsbCA9IGJldGEwKSkgKyANCiAgZ2VvbV9zZihjb2xvciA9ICJ3aGl0ZSIpICsNCiAgc2NhbGVfZmlsbF9kaXN0aWxsZXIocGFsZXR0ZSA9ICJZbE9yUmQiLCB0cmFucyA9ICJyZXZlcnNlIikNCmBgYA0KDQpZb3UgY2FuIHZlcmlmeSB0aGF0IHRoZSByZXNpZHVhbHMgYXJlIG5vdCBzcGF0aWFsbHkgYXV0b2NvcnJlbGF0ZWQ6DQpgYGB7cn0NCm1vcmFuLnRlc3QoSGFtaWx0b25EQXMkZ3dyLmUsIEhhbWlsdG9uREFzLncpDQpgYGANCg0KU29tZSBjYXZlYXRzIHdpdGggcmVzcGVjdCB0byBHV1IuIA0KDQpTaW5jZSBlc3RpbWF0aW9uIHJlcXVpcmVzIHRoZSBzZWxlY3Rpb24gb2YgYSBrZXJuZWwgYmFuZHdpZHRoLCBhbmQgYSBrZXJuZWwgYmFuZHdpZHRoIHJlcXVpcmVzIHRoZSBlc3RpbWF0aW9uIG9mIG1hbnkgdGltZXMgbGVhdmUtb25lLW91dCByZWdyZXNzaW9ucywgR1dSIGNhbiBiZSBjb21wdXRhdGlvbmFsbHkgcXVpdGUgZGVtYW5kaW5nLCBlc3BlY2lhbGx5IGZvciBsYXJnZSBkYXRhc2V0cy4NCg0KR1dSIGhhcyBiZWNvbWUgYSB2ZXJ5IHBvcHVsYXIgbWV0aG9kLCBob3dldmVyLCB0aGVyZSBpcyBjb25mbGljdGluZyBldmlkZW5jZSByZWdhcmRpbmcgaXRzIGFiaWxpdHkgdG8gcmV0cmlldmUgYSBrbm93biBzcGF0aWFsIHByb2Nlc3MgW0BQYWV6MjAxMWd3cl0uIEZvciB0aGlzIHJlYXNvbnMsIGludGVycHJldGF0aW9uIG9mIHRoZSBzcGF0aWFsbHktdmFyeWluZyBjb2VmZmljaWVudHMgbXVzdCBiZSBjb25kdWN0ZWQgd2l0aCBhIGdyYWluIG9mIHNhbHQsIGFsdGhvdWdoIHRoaXMgc2VlbXMgdG8gYmUgbGVzcyBvZiBhIGNvbmNlcm4gd2l0aCBsYXJnZXIgc2FtcGxlcyAtIGJ1dCBhdCB0aGUgbW9tZW50IGl0IGlzIG5vdCBrbm93biBob3cgbGFyZ2UgYSBzYW1wbGUgaXMgc2FmZSAoYW5kIGxhcmdlciBzYW1wbGVzIGFsc28gYmVjb21lIGNvbXB1dGF0aW9uYWxseSBtb3JlIGRlbWFuZGluZykuIEFzIHdlbGwsIHRoZSBlc3RpbWF0aW9uIG1ldGhvZCBpcyBrbm93biB0byBiZSBzZW5zaXRpdmUgdG8gdW51c3VhbCBvYnNlcnZhdGlvbnMgW0BGYXJiZXIyMDA3Z3dyXS4gQXQgdGhlIG1vbWVudCwgSSByZWNvbW1lbmQgdGhhdCBHV1IgYmUgdXNlZCBmb3IgcHJlZGljdGlvbiBvbmx5LCBhbmQgaW4gdGhpcyByZXNwZWN0IGl0IHNlZW1zIHRvIHBlcmZvcm0gYXMgd2VsbCwgb3IgZXZlbiBiZXR0ZXIgdGhhbiBhbHRlcm5hdGl2ZXMgYXBwcm9hY2hlcyBbQFBhZXoyMDA4Z3dyXS4NCg0KIyMgU3BhdGlhbCBFcnJvciBNb2RlbCAoU0VNKQ0KDQpBIG1vZGVsIHRoYXQgY2FuIGJlIHVzZWQgdG8gdGFrZSBkaXJlY3QgcmVtZWRpYWwgYWN0aW9uIHdpdGggcmVzcGVjdCB0byByZXNpZHVhbCBzcGF0aWFsIGF1dG9jb3JyZWxhdGlvbiBpcyB0aGUgc3BhdGlhbCBlcnJvciBtb2RlbC4NCg0KVGhpcyBtb2RlbCBpcyBzcGVjaWZpZWQgYXMgZm9sbG93czoNCiQkDQp5X2kgPSBcYmV0YV8wICsgXHN1bV97aj0xfV5re1xiZXRhX2t4X3tpan19ICsgXGVwc2lsb25faQ0KJCQNCg0KSG93ZXZlciwgaXQgaXMgbm8gbG9uZ2VyIGFzc3VtZWQgdGhhdCB0aGUgcmVzaWR1YWxzICRcZXBzaWxvbiQgYXJlIGluZGVwZW5kZW50LCBidXQgaW5zdGVhZCBkaXNwbGF5IG1hcCBwYXR0ZXJuLCBpbiB0aGUgc2hhcGUgb2YgYSBtb3ZpbmcgYXZlcmFnZToNCiQkDQpcZXBzaWxvbl9pID0gXGxhbWJkYVxzdW1fe2k9MX1ebnt3X3tpan1ee3N0fVxlcHNpbG9uX2l9ICsgXG11X2kNCiQkDQoNCkEgc2Vjb25kIHNldCBvZiByZXNpZHVhbHMgJFxtdSQgYXJlIGFzc3VtZWQgdG8gYmUgaW5kZXBlbmRlbnQuDQoNCkl0IGlzIHBvc3NpYmxlIHRvIHNob3cgdGhhdCB0aGlzIG1vZGVsIGlzIG5vIGxvbmdlciBsaW5lYXIgaW4gdGhlIGNvZWZmaWNpZW50cyAoYnV0IHRoaXMgd291bGQgcmVxdWlyZSBhIGxpdHRsZSBiaXQgb2YgbWF0cml4IGFsZ2VicmEpLiBGb3IgdGhpcyByZWFzb24sIG9yZGluYXJ5IGxlYXN0IHNxdWFyZXMgaXMgbm8gbG9uZ2VyIGFuIGFwcHJvcHJpYXRlIGVzdGltYXRpb24gYWxnb3JpdGhtLCBhbmQgbW9kZWxzIG9mIHRoaXMga2luZCBhcmUgaW5zdGVhZCBlc3RpbWF0ZWQgYmFzZWQgb24gbWF4aW11bSBsaWtlbGlob29kLg0KDQpTcGF0aWFsIGVycm9yIG1vZGVscyBhcmUgaW1wbGVtZW50ZWQgaW4gdGhlIHBhY2thZ2UgYHNwZGVwYC4NCg0KQXMgYSByZW1lZGlhbCBtb2RlbCwgaXQgY2FuIGFjY291bnQgZm9yIGEgbW9kZWwgd2l0aCBhIG1pc3NwZWNpZmllZCBmdW5jdGlvbmFsIGZvcm0uIFdlIGtub3cgdGhhdCB0aGUgdW5kZXJseWluZyBwcm9jZXNzIGlzIG5vdCBsaW5lYXIsIGJ1dCB3ZSBzcGVjaWZ5IGEgbGluZWFyIHJlbGF0aW9uc2hpcCBiZXR3ZWVuIHRoZSBjb3ZhcmlhdGVzIGluIHRoZSBmb3JtIG9mICR6ID0gXGJldGFfMCArIFxiZXRhXzF1ICsgXGJldGFfMnYkOg0KYGBge3J9DQptb2RlbC5zZW0xIDwtIGVycm9yc2FybG0oZm9ybXVsYSA9IHogfiB1ICsgdiwgDQogICAgICAgICAgICAgICAgICAgICAgICBkYXRhID0gSGFtaWx0b25EQXMsIA0KICAgICAgICAgICAgICAgICAgICAgICAgbGlzdHcgPSBIYW1pbHRvbkRBcy53KQ0Kc3VtbWFyeShtb2RlbC5zZW0xKQ0KYGBgDQoNClRoZSBjb2VmZmljaWVudCAkXGxhbWJkYSQgaXMgcG9zaXRpdmUgKGluZGljYXRpdmUgb2YgcG9zaXRpdmUgYXV0b2NvcnJlbGF0aW9uKSBhbmQgaGlnaCwgc2luY2UgYWJvdXQgNTAlIG9mIHRoZSBtb3ZpbmcgYXZlcmFnZSBvZiB0aGUgcmVzaWR1YWxzICRcZXBzaWxvbiQgaW4gdGhlIG5laWdoYm9yaG9vZCBvZiAkaSQgY29udHJpYnV0ZSB0byB0aGUgdmFsdWUgb2YgJFxlcHNpbG9uX2kkLiANCg0KWW91IGNhbiB2ZXJpZnkgdGhhdCB0aGUgcmVzaWR1YWxzIGFyZSBzcGF0aWFsbHkgdW5jb3JyZWxhdGVkIChub3RlIHRoYXQgdGhlIGFsdGVybmF0aXZlIGlzICJsZXNzIiBiZWNhdXNlIG9mIHRoZSBuZWdhdGl2ZSBzaWduIG9mIE1vcmFuJ3MgSSBjb2VmZmljaWVudCk6DQpgYGB7cn0NCm1vcmFuLnRlc3QobW9kZWwuc2VtMSRyZXNpZHVhbHMsIEhhbWlsdG9uREFzLncsIGFsdGVybmF0aXZlID0gImxlc3MiKQ0KYGBgDQoNCk5vdyBjb25zaWRlciB0aGUgY2FzZSBvZiBhIG1pc3NpbmcgY292YXJpYXRlOg0KYGBge3J9DQptb2RlbC5zZW0yIDwtIGVycm9yc2FybG0oZm9ybXVsYSA9IGxvZyh6KSB+IHUsIA0KICAgICAgICAgICAgICAgICAgICAgICAgZGF0YSA9IEhhbWlsdG9uREFzLCANCiAgICAgICAgICAgICAgICAgICAgICAgIGxpc3R3ID0gSGFtaWx0b25EQXMudykNCnN1bW1hcnkobW9kZWwuc2VtMikNCmBgYA0KDQpJbiB0aGlzIGNhc2UsIHRoZSByZXNpZHVhbCBwYXR0ZXJuIGlzIHBhcnRpY3VsYXJseSBzdHJvbmcsIHdpdGggbW9yZSB0aGFuIDkwJSBvZiB0aGUgbW92aW5nIGF2ZXJhZ2UgY29udHJpYnV0aW5nIHRvIHRoZSByZXNpZHVhbHMuIEFsYXMsIGluIHRoaXMgY2FzZSwgdGhlIHJlbWVkaWFsIGFjdGlvbiBmYWxscyBzaG9ydCBvZiBjbGVhbmluZyB0aGUgcmVzaWR1YWxzLCBhbmQgd2UgY2FuIHNlZSB0aGF0IHRoZXkgc3RpbGwgcmVtYWluIHNwYXRpYWxseSBjb3JyZWxhdGVkOg0KYGBge3J9DQptb3Jhbi50ZXN0KG1vZGVsLnNlbTIkcmVzaWR1YWxzLCBIYW1pbHRvbkRBcy53LCBhbHRlcm5hdGl2ZSA9ICJsZXNzIikNCmBgYA0KDQpUaGlzIHdvdWxkIHN1Z2dlc3QgdGhlIG5lZWQgZm9yIGFsdGVybmF0aXZlIGFjdGlvbiAoc3VjaCBhcyB0aGUgc2VhcmNoIGZvciBhZGRpdGlvbmFsIGNvdmFyaWF0ZXMpLg0KDQpJZGVhbGx5LCBhIG1vZGVsIHNob3VsZCBiZSB3ZWxsLXNwZWNpZmllZCwgYW5kIHJlbWVkaWFsIGFjdGlvbiBzaG91bGQgYmUgdW5kZXJ0YWtlbiBvbmx5IHdoZW4gb3RoZXIgYWx0ZXJuYXRpdmVzIGhhdmUgYmVlbiBleGhhdXN0ZWQu